Details

Time bar (total: 1.2m)

sample77.0ms

Algorithm
intervals
Results
33.0ms289×body80valid
21.0ms107×body80nan

simplify995.0ms

Counts
1 → 1
Iterations
IterNodes
done2008
42008
3596
295
138
017

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.1b

localize55.0ms

Local error

Found 4 expressions with local error:

2.6b
(sqrt (- 1 (* (/ (/ (/ (* M D) d) 2) (/ l h)) (/ (/ (* M D) d) 2))))
5.7b
(/ (* M D) d)
5.7b
(/ (* M D) d)
9.6b
(/ (/ (/ (* M D) d) 2) (/ l h))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
985×times-frac
388×add-sqr-sqrt
387×*-un-lft-identity add-cube-cbrt
85×div-inv
46×add-cbrt-cube add-exp-log
27×associate-/l*
26×cbrt-undiv div-exp
19×associate-/r*
5×pow1
4×expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg sqrt-prod
2×sqrt-div
1×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 associate-/r/ flip-- associate-/l/
Counts
4 → 460
Calls
4 calls:
12.0ms
(sqrt (- 1 (* (/ (/ (/ (* M D) d) 2) (/ l h)) (/ (/ (* M D) d) 2))))
18.0ms
(/ (* M D) d)
19.0ms
(/ (* M D) d)
40.0ms
(/ (/ (/ (* M D) d) 2) (/ l h))

series334.0ms

Counts
4 → 12
Calls
4 calls:
178.0ms
(sqrt (- 1 (* (/ (/ (/ (* M D) d) 2) (/ l h)) (/ (/ (* M D) d) 2))))
24.0ms
(/ (* M D) d)
22.0ms
(/ (* M D) d)
109.0ms
(/ (/ (/ (* M D) d) 2) (/ l h))

simplify1.4s

Counts
472 → 472
Iterations
IterNodes
done2000
12000
0864

prune8.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 5.2b

localize34.0ms

Local error

Found 4 expressions with local error:

5.5b
(/ (/ (/ (* M D) d) 2) l)
5.7b
(/ (* M D) d)
5.7b
(/ (* M D) d)
5.8b
(/ (/ (/ (/ (* M D) d) 2) l) (/ 1 h))

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
4258×times-frac
1602×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
282×div-inv
113×add-exp-log
106×associate-/l*
79×div-exp
73×add-cbrt-cube
46×cbrt-undiv
22×associate-/r*
7×prod-exp
5×rec-exp 1-exp cbrt-unprod
4×expm1-log1p-u pow1 clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp
2×associate-/l/
1×associate-/r/
Counts
4 → 1337
Calls
4 calls:
19.0ms
(/ (/ (/ (* M D) d) 2) l)
24.0ms
(/ (* M D) d)
9.0ms
(/ (* M D) d)
28.0ms
(/ (/ (/ (/ (* M D) d) 2) l) (/ 1 h))

series266.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(/ (/ (/ (* M D) d) 2) l)
39.0ms
(/ (* M D) d)
39.0ms
(/ (* M D) d)
118.0ms
(/ (/ (/ (/ (* M D) d) 2) l) (/ 1 h))

simplify2.0s

Counts
1349 → 1349
Iterations
IterNodes
done2246
02246

prune25.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 5.2b

localize50.0ms

Local error

Found 4 expressions with local error:

5.5b
(/ (/ (* (* M D) (/ 1 d)) 2) l)
5.7b
(/ (* M D) d)
5.8b
(* (* M D) (/ 1 d))
5.8b
(/ (/ (/ (* (* M D) (/ 1 d)) 2) l) (/ 1 h))

rewrite123.0ms

Algorithm
rewrite-expression-head
Rules
1024×times-frac
407×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
305×add-exp-log
187×div-exp
119×add-cbrt-cube
90×div-inv
73×prod-exp
64×cbrt-undiv
33×associate-/l*
25×cbrt-unprod
23×rec-exp 1-exp
19×associate-/r*
13×associate-*r*
9×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg pow-prod-down
2×associate-/l/
1×associate-*l* associate-*r/ associate-/r/ un-div-inv *-commutative
Counts
4 → 562
Calls
4 calls:
23.0ms
(/ (/ (* (* M D) (/ 1 d)) 2) l)
15.0ms
(/ (* M D) d)
18.0ms
(* (* M D) (/ 1 d))
51.0ms
(/ (/ (/ (* (* M D) (/ 1 d)) 2) l) (/ 1 h))

series228.0ms

Counts
4 → 12
Calls
4 calls:
75.0ms
(/ (/ (* (* M D) (/ 1 d)) 2) l)
22.0ms
(/ (* M D) d)
22.0ms
(* (* M D) (/ 1 d))
108.0ms
(/ (/ (/ (* (* M D) (/ 1 d)) 2) l) (/ 1 h))

simplify1.3s

Counts
574 → 574
Iterations
IterNodes
done2000
12000
0932

prune10.7s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 5.2b

localize98.0ms

Local error

Found 4 expressions with local error:

4.8b
(* (* M D) (* (cbrt (/ 1 d)) (cbrt (/ 1 d))))
5.5b
(/ (/ (* (* (* M D) (* (cbrt (/ 1 d)) (cbrt (/ 1 d)))) (cbrt (/ 1 d))) 2) l)
5.7b
(/ (* M D) d)
5.8b
(/ (/ (/ (* (* (* M D) (* (cbrt (/ 1 d)) (cbrt (/ 1 d)))) (cbrt (/ 1 d))) 2) l) (/ 1 h))

rewrite342.0ms

Algorithm
rewrite-expression-head
Rules
1015×times-frac
400×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
230×add-exp-log
115×add-cbrt-cube div-exp
89×div-inv
74×prod-exp
65×cbrt-undiv
48×cbrt-unprod
33×associate-/l*
19×associate-/r*
16×pow1
8×rec-exp 1-exp pow-prod-down
4×expm1-log1p-u cbrt-div associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg
2×associate-/l/
1×frac-times associate-*r* associate-*l* associate-*l/ associate-/r/ *-commutative
Counts
4 → 537
Calls
4 calls:
57.0ms
(* (* M D) (* (cbrt (/ 1 d)) (cbrt (/ 1 d))))
127.0ms
(/ (/ (* (* (* M D) (* (cbrt (/ 1 d)) (cbrt (/ 1 d)))) (cbrt (/ 1 d))) 2) l)
20.0ms
(/ (* M D) d)
107.0ms
(/ (/ (/ (* (* (* M D) (* (cbrt (/ 1 d)) (cbrt (/ 1 d)))) (cbrt (/ 1 d))) 2) l) (/ 1 h))

series477.0ms

Counts
4 → 12
Calls
4 calls:
157.0ms
(* (* M D) (* (cbrt (/ 1 d)) (cbrt (/ 1 d))))
111.0ms
(/ (/ (* (* (* M D) (* (cbrt (/ 1 d)) (cbrt (/ 1 d)))) (cbrt (/ 1 d))) 2) l)
24.0ms
(/ (* M D) d)
186.0ms
(/ (/ (/ (* (* (* M D) (* (cbrt (/ 1 d)) (cbrt (/ 1 d)))) (cbrt (/ 1 d))) 2) l) (/ 1 h))

simplify1.6s

Counts
549 → 549
Iterations
IterNodes
done2001
12001
0926

prune11.6s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 5.2b

regimes856.0ms

Accuracy

0% (0.7b remaining)

Error of 7.6b against oracle of 6.8b and baseline of 7.6b

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done27
127
021

end0.0ms

sample3.3s

Algorithm
intervals
Results
1.8s9290×body80valid
686.0ms3330×body80nan