Details

Time bar (total: 1.0m)

sample930.0ms

Algorithm
intervals
Results
233.0ms1130×body80nan
141.0ms382×body80valid

simplify847.0ms

Counts
1 → 1
Iterations
IterNodes
done5001
3710
2174
154
022

prune37.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 23.2b

localize61.0ms

Local error

Found 4 expressions with local error:

4.7b
(/ M (* 2.0 (/ d D)))
6.6b
(/ (pow (/ M (* 2.0 (/ d D))) 2.0) l)
9.2b
(pow (/ d h) (/ 1.0 2.0))
12.0b
(pow (/ d l) (/ 1.0 2.0))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
87×times-frac
59×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
58×unpow-prod-down
36×add-exp-log
26×pow-unpow
16×div-exp
15×add-cbrt-cube associate-/l*
10×div-inv
8×pow-exp
6×pow1 sqr-pow
5×cbrt-undiv associate-*r/ associate-/r/
4×associate-/r* prod-exp add-log-exp
3×pow-to-exp
2×clear-num pow-pow frac-2neg cbrt-unprod
Counts
4 → 168
Calls
4 calls:
10.0ms
(/ M (* 2.0 (/ d D)))
23.0ms
(/ (pow (/ M (* 2.0 (/ d D))) 2.0) l)
7.0ms
(pow (/ d h) (/ 1.0 2.0))
7.0ms
(pow (/ d l) (/ 1.0 2.0))

series1.1s

Counts
4 → 12
Calls
4 calls:
38.0ms
(/ M (* 2.0 (/ d D)))
915.0ms
(/ (pow (/ M (* 2.0 (/ d D))) 2.0) l)
98.0ms
(pow (/ d h) (/ 1.0 2.0))
69.0ms
(pow (/ d l) (/ 1.0 2.0))

simplify2.3s

Counts
180 → 180
Iterations
IterNodes
done5000
24383
11049
0404

prune1.8s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 9.7b

localize72.0ms

Local error

Found 4 expressions with local error:

4.6b
(* (/ (pow (/ M (* 2.0 (/ d D))) 2.0) l) h)
4.7b
(/ M (* 2.0 (/ d D)))
6.6b
(/ (pow (/ M (* 2.0 (/ d D))) 2.0) l)
9.2b
(pow (/ d h) (/ 1.0 2.0))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
117×times-frac
78×add-sqr-sqrt
70×unpow-prod-down
68×*-un-lft-identity add-cube-cbrt
58×add-exp-log
40×associate-*l*
25×div-exp
20×add-cbrt-cube
15×associate-/l*
13×pow-unpow prod-exp
12×div-inv
10×pow-exp
9×sqr-pow
8×associate-*r/ associate-/r/
7×pow1
6×cbrt-undiv
4×associate-/r* cbrt-unprod add-log-exp unswap-sqr
3×pow-to-exp associate-*r*
2×clear-num frac-2neg
1×pow-pow pow-prod-down associate-*l/ *-commutative
Counts
4 → 196
Calls
4 calls:
41.0ms
(* (/ (pow (/ M (* 2.0 (/ d D))) 2.0) l) h)
9.0ms
(/ M (* 2.0 (/ d D)))
16.0ms
(/ (pow (/ M (* 2.0 (/ d D))) 2.0) l)
7.0ms
(pow (/ d h) (/ 1.0 2.0))

series2.1s

Counts
4 → 12
Calls
4 calls:
1.1s
(* (/ (pow (/ M (* 2.0 (/ d D))) 2.0) l) h)
48.0ms
(/ M (* 2.0 (/ d D)))
861.0ms
(/ (pow (/ M (* 2.0 (/ d D))) 2.0) l)
90.0ms
(pow (/ d h) (/ 1.0 2.0))

simplify1.9s

Counts
208 → 208
Iterations
IterNodes
done5000
24798
11083
0414

prune2.5s

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 7.6b

localize118.0ms

Local error

Found 4 expressions with local error:

3.1b
(* (* (- 1.0 (* (* (/ (pow (/ M (* 2.0 (/ d D))) 2.0) l) h) (/ 1.0 2.0))) (* (pow (/ (* (cbrt d) (cbrt d)) (* (cbrt l) (cbrt l))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt l)) (/ 1.0 2.0)))) (* (pow (/ (* (cbrt d) (cbrt d)) (* (cbrt h) (cbrt h))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt h)) (/ 1.0 2.0))))
4.6b
(* (/ (pow (/ M (* 2.0 (/ d D))) 2.0) l) h)
4.7b
(/ M (* 2.0 (/ d D)))
6.6b
(/ (pow (/ M (* 2.0 (/ d D))) 2.0) l)

rewrite746.0ms

Algorithm
rewrite-expression-head
Rules
5940×add-exp-log
4320×prod-exp
2014×pow-exp
1381×div-exp
651×pow-to-exp
99×times-frac
64×add-sqr-sqrt
57×unpow-prod-down
54×*-un-lft-identity add-cube-cbrt
41×add-cbrt-cube associate-*l*
19×cbrt-unprod
15×associate-/l*
11×pow1
10×div-inv
8×associate-*r/ associate-/r/ sqr-pow
6×cbrt-undiv
5×associate-*l/
4×associate-/r* associate-*r* pow-prod-down add-log-exp unswap-sqr
2×clear-num frac-2neg *-commutative
1×flip3-- flip--
Counts
4 → 1048
Calls
4 calls:
436.0ms
(* (* (- 1.0 (* (* (/ (pow (/ M (* 2.0 (/ d D))) 2.0) l) h) (/ 1.0 2.0))) (* (pow (/ (* (cbrt d) (cbrt d)) (* (cbrt l) (cbrt l))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt l)) (/ 1.0 2.0)))) (* (pow (/ (* (cbrt d) (cbrt d)) (* (cbrt h) (cbrt h))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt h)) (/ 1.0 2.0))))
38.0ms
(* (/ (pow (/ M (* 2.0 (/ d D))) 2.0) l) h)
18.0ms
(/ M (* 2.0 (/ d D)))
23.0ms
(/ (pow (/ M (* 2.0 (/ d D))) 2.0) l)

series3.4s

Counts
4 → 12
Calls
4 calls:
1.4s
(* (* (- 1.0 (* (* (/ (pow (/ M (* 2.0 (/ d D))) 2.0) l) h) (/ 1.0 2.0))) (* (pow (/ (* (cbrt d) (cbrt d)) (* (cbrt l) (cbrt l))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt l)) (/ 1.0 2.0)))) (* (pow (/ (* (cbrt d) (cbrt d)) (* (cbrt h) (cbrt h))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt h)) (/ 1.0 2.0))))
991.0ms
(* (/ (pow (/ M (* 2.0 (/ d D))) 2.0) l) h)
54.0ms
(/ M (* 2.0 (/ d D)))
950.0ms
(/ (pow (/ M (* 2.0 (/ d D))) 2.0) l)

simplify9.1s

Counts
1060 → 1060
Iterations
IterNodes
done5001
13427
0865

prune3.1s

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 7.0b

localize144.0ms

Local error

Found 4 expressions with local error:

4.2b
(* h (/ (pow (/ M (/ (* d 2.0) D)) (/ 2.0 2)) l))
4.7b
(/ M (* 2.0 (/ d D)))
4.7b
(/ M (/ (* d 2.0) D))
5.6b
(/ (pow (/ M (/ (* d 2.0) D)) (/ 2.0 2)) l)

rewrite630.0ms

Algorithm
rewrite-expression-head
Rules
431×times-frac
204×add-sqr-sqrt
190×*-un-lft-identity add-cube-cbrt
184×unpow-prod-down
94×associate-*r*
64×add-exp-log
36×div-inv associate-/l*
31×div-exp
29×add-cbrt-cube
12×prod-exp
11×cbrt-undiv associate-/r*
9×associate-/r/
8×pow-exp sqr-pow
6×pow1
5×cbrt-unprod unswap-sqr
4×add-log-exp
3×clear-num frac-2neg associate-*l*
2×pow-to-exp associate-*r/
1×pow-prod-down *-commutative
Counts
4 → 333
Calls
4 calls:
69.0ms
(* h (/ (pow (/ M (/ (* d 2.0) D)) (/ 2.0 2)) l))
21.0ms
(/ M (* 2.0 (/ d D)))
481.0ms
(/ M (/ (* d 2.0) D))
27.0ms
(/ (pow (/ M (/ (* d 2.0) D)) (/ 2.0 2)) l)

series1.8s

Counts
4 → 12
Calls
4 calls:
825.0ms
(* h (/ (pow (/ M (/ (* d 2.0) D)) (/ 2.0 2)) l))
56.0ms
(/ M (* 2.0 (/ d D)))
43.0ms
(/ M (/ (* d 2.0) D))
872.0ms
(/ (pow (/ M (/ (* d 2.0) D)) (/ 2.0 2)) l)

simplify929.0ms

Counts
345 → 345
Iterations
IterNodes
done5000
11496
0602

prune6.0s

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 7.0b

regimes3.4s

Accuracy

0% (4.1b remaining)

Error of 11.5b against oracle of 7.4b and baseline of 11.5b

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done56
156
044

end0.0ms

sample17.8s

Algorithm
intervals
Results
10.5s38852×body80nan
3.6s12890×body80valid