Details

Time bar (total: 16.9s)

sample63.0ms

Algorithm
intervals
Results
20.0ms262×body80nan
19.0ms256×body80valid

simplify3.3s

Counts
1 → 1
Iterations
IterNodes
done1567
91567
81565
71415
61135
5757
4385
3181
270
127
014

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (sqrt 2.0) (/ (- 1.0 (* v v)) 4.0))
0.0b
(* (* (sqrt 2.0) (/ (- 1.0 (* v v)) 4.0)) (sqrt (- 1.0 (* (* v v) 3.0))))
0.2b
(* (* v v) 3.0)

rewrite133.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
25×associate-*r*
22×add-cbrt-cube add-exp-log
16×*-un-lft-identity add-cube-cbrt
15×pow1
14×times-frac
10×prod-exp cbrt-unprod
8×associate-*l* sqrt-prod
7×pow-prod-down
6×associate-*r/
5×unswap-sqr
4×sqrt-div
3×*-commutative add-log-exp difference-of-squares
2×frac-times cbrt-undiv flip3-- div-exp flip--
1×associate-*l/ div-inv
Counts
3 → 87
Calls
3 calls:
36.0ms
(* (sqrt 2.0) (/ (- 1.0 (* v v)) 4.0))
78.0ms
(* (* (sqrt 2.0) (/ (- 1.0 (* v v)) 4.0)) (sqrt (- 1.0 (* (* v v) 3.0))))
16.0ms
(* (* v v) 3.0)

series672.0ms

Counts
3 → 9
Calls
3 calls:
199.0ms
(* (sqrt 2.0) (/ (- 1.0 (* v v)) 4.0))
439.0ms
(* (* (sqrt 2.0) (/ (- 1.0 (* v v)) 4.0)) (sqrt (- 1.0 (* (* v v) 3.0))))
34.0ms
(* (* v v) 3.0)

simplify2.0s

Counts
96 → 96
Iterations
IterNodes
done5001
24143
1624
0221

prune578.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize62.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (sqrt (- 1.0 (* v (* v 3.0)))) (- 1.0 (pow v 2)))
0.0b
(cbrt (pow (/ (* (* (sqrt (- 1.0 (* v (* v 3.0)))) (- 1.0 (pow v 2))) (sqrt 2.0)) 4.0) 3))
0.1b
(* v (* v 3.0))
1.0b
(pow (/ (* (* (sqrt (- 1.0 (* v (* v 3.0)))) (- 1.0 (pow v 2))) (sqrt 2.0)) 4.0) 3)

rewrite191.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
21×add-cbrt-cube add-exp-log
20×cbrt-prod *-un-lft-identity
18×add-cube-cbrt
15×unpow-prod-down
14×cube-prod
12×pow1 times-frac
9×associate-*r* associate-*l*
7×prod-exp cbrt-unprod
6×flip3-- sqrt-div flip--
4×frac-times pow-prod-down pow-exp sqrt-prod div-inv add-log-exp rem-cube-cbrt difference-of-squares
3×cbrt-undiv pow-unpow div-exp sqr-pow
2×cube-div distribute-rgt-in cube-mult sub-neg distribute-lft-in unpow3 associate-*l/ associate-*r/ *-commutative unswap-sqr
1×pow-to-exp cbrt-div pow-pow pow1/3 rem-cbrt-cube distribute-lft-out-- unpow2
Counts
4 → 125
Calls
4 calls:
63.0ms
(* (sqrt (- 1.0 (* v (* v 3.0)))) (- 1.0 (pow v 2)))
6.0ms
(cbrt (pow (/ (* (* (sqrt (- 1.0 (* v (* v 3.0)))) (- 1.0 (pow v 2))) (sqrt 2.0)) 4.0) 3))
27.0ms
(* v (* v 3.0))
91.0ms
(pow (/ (* (* (sqrt (- 1.0 (* v (* v 3.0)))) (- 1.0 (pow v 2))) (sqrt 2.0)) 4.0) 3)

series1.8s

Counts
4 → 12
Calls
4 calls:
244.0ms
(* (sqrt (- 1.0 (* v (* v 3.0)))) (- 1.0 (pow v 2)))
353.0ms
(cbrt (pow (/ (* (* (sqrt (- 1.0 (* v (* v 3.0)))) (- 1.0 (pow v 2))) (sqrt 2.0)) 4.0) 3))
48.0ms
(* v (* v 3.0))
1.2s
(pow (/ (* (* (sqrt (- 1.0 (* v (* v 3.0)))) (- 1.0 (pow v 2))) (sqrt 2.0)) 4.0) 3)

simplify485.0ms

Counts
137 → 137
Iterations
IterNodes
done5000
11034
0339

prune886.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize89.0ms

Local error

Found 4 expressions with local error:

0.1b
(* v (* v 3.0))
0.1b
(* v (* v 3.0))
0.1b
(* (* 3.0 v) v)
1.0b
(pow (/ (* (/ (* (sqrt (- (pow 1.0 3) (pow (* (* 3.0 v) v) 3))) (- 1.0 (* v v))) (sqrt (+ (* 1.0 1.0) (+ (* (* v (* v 3.0)) (* v (* v 3.0))) (* 1.0 (* v (* v 3.0))))))) (sqrt 2.0)) 4.0) 3)

rewrite331.0ms

Algorithm
rewrite-expression-head
Rules
34×add-cbrt-cube add-exp-log
20×pow1
13×prod-exp cbrt-unprod
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow-prod-down
7×unpow-prod-down cube-prod associate-*l*
6×cbrt-undiv times-frac div-exp
5×associate-*r* pow-exp rem-cube-cbrt
4×add-log-exp
3×pow-unpow *-commutative
2×div-inv
1×cube-div cube-mult pow-to-exp pow-pow unpow3 sqr-pow
Counts
4 → 94
Calls
4 calls:
24.0ms
(* v (* v 3.0))
13.0ms
(* v (* v 3.0))
14.0ms
(* (* 3.0 v) v)
275.0ms
(pow (/ (* (/ (* (sqrt (- (pow 1.0 3) (pow (* (* 3.0 v) v) 3))) (- 1.0 (* v v))) (sqrt (+ (* 1.0 1.0) (+ (* (* v (* v 3.0)) (* v (* v 3.0))) (* 1.0 (* v (* v 3.0))))))) (sqrt 2.0)) 4.0) 3)

series1.3s

Counts
4 → 12
Calls
4 calls:
41.0ms
(* v (* v 3.0))
39.0ms
(* v (* v 3.0))
53.0ms
(* (* 3.0 v) v)
1.2s
(pow (/ (* (/ (* (sqrt (- (pow 1.0 3) (pow (* (* 3.0 v) v) 3))) (- 1.0 (* v v))) (sqrt (+ (* 1.0 1.0) (+ (* (* v (* v 3.0)) (* v (* v 3.0))) (* 1.0 (* v (* v 3.0))))))) (sqrt 2.0)) 4.0) 3)

simplify2.1s

Counts
106 → 106
Iterations
IterNodes
done5000
23948
1681
0210

prune720.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify12.0ms

Iterations
IterNodes
done38
238
136
029

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.1s8221×body80nan
557.0ms8000×body80valid