Details

Time bar (total: 12.6s)

sample174.0ms

Algorithm
intervals
Results
86.0ms685×body80nan
43.0ms255×body80valid
0.0msbody160valid

simplify4.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0911
11711
22711
36011
411911
541311
6326011
done500211

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.3b

localize24.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (pow (sin x) 2.4) (* 2.0 (log (* x x))))
0.1b
(pow (sin x) 2.4)
26.4b
(log (* x x))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
12×pow1
add-exp-log
log-pow
add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
pow-unpow log-prod unpow-prod-down add-cbrt-cube
associate-+r+ rem-log-exp
pow2 distribute-rgt-in pow-to-exp +-commutative sum-log pow-pow distribute-lft-in flip3-+ pow-plus pow-prod-down pow-exp prod-exp pow-sqr pow-prod-up flip-+ sqr-pow
Counts
3 → 46
Calls
3 calls:
49.0ms
(+ (pow (sin x) 2.4) (* 2.0 (log (* x x))))
7.0ms
(pow (sin x) 2.4)
10.0ms
(log (* x x))

series1.1s

Counts
3 → 9
Calls
3 calls:
527.0ms
(+ (pow (sin x) 2.4) (* 2.0 (log (* x x))))
244.0ms
(pow (sin x) 2.4)
292.0ms
(log (* x x))

simplify3.6s

Counts
55 → 55
Iterations

Useful iterations: 3 (980.0ms)

IterNodesCost
0100519
1259485
2707451
33571449
done5001449

prune321.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize30.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (+ (pow (sin x) 2.4) (* (log x) 2.0)) (* (log x) 2.0))
0.0b
(+ (pow (sin x) 2.4) (* (log x) 2.0))
0.1b
(pow (sin x) 2.4)

rewrite180.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
add-sqr-sqrt *-un-lft-identity add-cube-cbrt
pow1 sum-log add-exp-log
pow-unpow unpow-prod-down add-cbrt-cube
+-commutative flip3-+ flip-+
pow-to-exp associate-+l+ pow-pow pow-exp sqr-pow
Counts
3 → 41
Calls
3 calls:
126.0ms
(+ (+ (pow (sin x) 2.4) (* (log x) 2.0)) (* (log x) 2.0))
44.0ms
(+ (pow (sin x) 2.4) (* (log x) 2.0))
8.0ms
(pow (sin x) 2.4)

series1.3s

Counts
3 → 9
Calls
3 calls:
513.0ms
(+ (+ (pow (sin x) 2.4) (* (log x) 2.0)) (* (log x) 2.0))
527.0ms
(+ (pow (sin x) 2.4) (* (log x) 2.0))
246.0ms
(pow (sin x) 2.4)

simplify977.0ms

Counts
50 → 50
Iterations

Useful iterations: done (973.0ms)

IterNodesCost
0113730
1317632
2950583
done5000572

prune418.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

regimes42.0ms

bsearch23.0ms