Details

Time bar (total: 17.9s)

sample494.0ms

Algorithm
intervals
Results
184.0ms59×body1280valid
143.0ms30×body2560valid
59.0ms27×body640valid
21.0ms131×body80valid
6.0ms14×body320valid
4.0ms12×body160valid

simplify535.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
01014
11914
24114
38214
412214
514714
615614
715814
done15814

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.1b

localize30.0ms

Local error

Found 4 expressions with local error:

0.2b
(* PI l)
0.9b
(/ 1.0 (* F F))
3.9b
(* (/ 1.0 (* F F)) (tan (* PI l)))
33.2b
(tan (* PI l))

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
20×add-exp-log add-cbrt-cube
17×add-sqr-sqrt
11×add-cube-cbrt *-un-lft-identity
10×associate-*l*
8×pow1
7×times-frac
6×associate-*r* prod-exp cbrt-unprod
4×cbrt-undiv expm1-log1p-u div-exp log1p-expm1-u add-log-exp
3×tan-quot associate-/l* unswap-sqr
2×pow-prod-down *-commutative div-inv
1×frac-times frac-2neg associate-*r/ associate-*l/ clear-num associate-/r*
Counts
4 → 85
Calls
4 calls:
13.0ms
(* PI l)
16.0ms
(/ 1.0 (* F F))
59.0ms
(* (/ 1.0 (* F F)) (tan (* PI l)))
27.0ms
(tan (* PI l))

series436.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* PI l)
38.0ms
(/ 1.0 (* F F))
254.0ms
(* (/ 1.0 (* F F)) (tan (* PI l)))
118.0ms
(tan (* PI l))

simplify3.2s

Counts
97 → 97
Iterations

Useful iterations: 2 (227.0ms)

IterNodesCost
0143924
1316903
21013771
34042771
done5000771

prune418.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 13.9b

localize32.0ms

Local error

Found 4 expressions with local error:

0.2b
(* PI l)
0.2b
(* PI l)
0.3b
(* (/ (sqrt 1.0) F) (tan (* PI l)))
33.2b
(tan (* PI l))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
28×associate-*l*
22×add-cube-cbrt *-un-lft-identity
20×times-frac
13×add-exp-log add-cbrt-cube
10×pow1 sqrt-prod
9×associate-*r*
5×unswap-sqr
4×expm1-log1p-u prod-exp cbrt-unprod log1p-expm1-u add-log-exp
3×tan-quot pow-prod-down *-commutative
1×cbrt-undiv frac-times associate-*r/ div-exp associate-*l/ div-inv
Counts
4 → 96
Calls
4 calls:
12.0ms
(* PI l)
11.0ms
(* PI l)
61.0ms
(* (/ (sqrt 1.0) F) (tan (* PI l)))
17.0ms
(tan (* PI l))

series409.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(* PI l)
39.0ms
(* PI l)
249.0ms
(* (/ (sqrt 1.0) F) (tan (* PI l)))
97.0ms
(tan (* PI l))

simplify2.5s

Counts
108 → 108
Iterations

Useful iterations: done (2.5s)

IterNodesCost
0140946
1305921
2839840
32766840
done5001835

prune546.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 13.8b

localize25.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt F)
0.6b
(cbrt F)
0.6b
(cbrt F)
33.2b
(tan (* PI l))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×pow1/3
1×tan-quot
Counts
4 → 49
Calls
4 calls:
1.0ms
(cbrt F)
1.0ms
(cbrt F)
1.0ms
(cbrt F)
28.0ms
(tan (* PI l))

series1.1s

Counts
4 → 12
Calls
4 calls:
340.0ms
(cbrt F)
280.0ms
(cbrt F)
338.0ms
(cbrt F)
102.0ms
(tan (* PI l))

simplify2.6s

Counts
61 → 61
Iterations

Useful iterations: done (2.6s)

IterNodesCost
055322
1107308
2250282
3722273
42713273
done5000271

prune416.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 13.8b

localize44.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (* PI l))
0.6b
(cbrt (* PI l))
0.6b
(cbrt (* PI l))
33.0b
(tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))))

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3
1×tan-quot
Counts
4 → 43
Calls
4 calls:
7.0ms
(cbrt (* PI l))
7.0ms
(cbrt (* PI l))
7.0ms
(cbrt (* PI l))
124.0ms
(tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))))

series1.2s

Counts
4 → 12
Calls
4 calls:
307.0ms
(cbrt (* PI l))
326.0ms
(cbrt (* PI l))
427.0ms
(cbrt (* PI l))
138.0ms
(tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))))

simplify3.3s

Counts
55 → 55
Iterations

Useful iterations: done (3.3s)

IterNodesCost
063548
1125543
2262390
3759336
42775309
done5001307

prune290.0ms

Pruning

19 alts after pruning (17 fresh and 2 done)

Merged error: 13.8b

regimes6.0ms