Details

Time bar (total: 23.5s)

sample25.0ms

Algorithm
intervals
Results
11.0ms329×body80valid

simplify799.0ms

Counts
1 → 1
Iterations
IterNodes
done965
7965
6938
5723
4381
3148
250
120
011

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ (+ d2 5.0) (+ d3 32.0)) d1)

rewrite145.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
8×distribute-lft-out
7×associate-*l*
6×associate-*l/
5×add-sqr-sqrt flip3-+ flip-+
4×frac-add
3×pow1 add-cbrt-cube associate-*r* add-exp-log add-cube-cbrt
1×expm1-log1p-u pow-prod-down prod-exp *-commutative cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
Counts
1 → 30
Calls
1 calls:
144.0ms
(* (+ (+ d2 5.0) (+ d3 32.0)) d1)

series30.0ms

Counts
1 → 3
Calls
1 calls:
30.0ms
(* (+ (+ d2 5.0) (+ d3 32.0)) d1)

simplify1.4s

Counts
33 → 33
Iterations
IterNodes
done5002
21394
1277
089

prune225.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ d2 5.0) (+ d2 5.0))
3.4b
(- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0)))
7.4b
(* (- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0))) d1)
17.6b
(/ (* (- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0))) d1) (- (+ d2 5.0) (+ d3 32.0)))

rewrite334.0ms

Algorithm
rewrite-expression-head
Rules
298×flip3-+ flip-+
230×associate-*l/
196×frac-times frac-sub
98×associate-*r/
66×associate-/l/
50×*-un-lft-identity
20×add-sqr-sqrt
14×distribute-lft-out
13×pow1 add-cbrt-cube add-exp-log
12×add-cube-cbrt
8×associate-/r* times-frac associate-*l* distribute-lft-out--
7×associate-*r*
6×swap-sqr associate-/r/ add-log-exp
4×expm1-log1p-u flip3-- log1p-expm1-u flip-- difference-of-squares
3×distribute-rgt-in distribute-lft-in prod-exp cbrt-unprod
2×cbrt-undiv div-exp pow-prod-down associate--l+ *-commutative associate--r+ unswap-sqr
1×pow2 clear-num sub-neg frac-2neg pow-plus fma-neg diff-log prod-diff pow-sqr pow-prod-up div-inv associate-/l*
Counts
4 → 319
Calls
4 calls:
27.0ms
(* (+ d2 5.0) (+ d2 5.0))
30.0ms
(- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0)))
134.0ms
(* (- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0))) d1)
115.0ms
(/ (* (- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0))) d1) (- (+ d2 5.0) (+ d3 32.0)))

series299.0ms

Counts
4 → 12
Calls
4 calls:
17.0ms
(* (+ d2 5.0) (+ d2 5.0))
68.0ms
(- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0)))
102.0ms
(* (- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0))) d1)
113.0ms
(/ (* (- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0))) d1) (- (+ d2 5.0) (+ d3 32.0)))

simplify1.8s

Counts
331 → 331
Iterations
IterNodes
done5002
11831
0540

prune2.4s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ d2 5.0) (+ d3 32.0))
0.0b
(* (- (+ d2 5.0) (+ d3 32.0)) d1)
0.2b
(* (+ (+ d2 5.0) (+ d3 32.0)) (* (- (+ d2 5.0) (+ d3 32.0)) d1))
17.6b
(/ (* (+ (+ d2 5.0) (+ d3 32.0)) (* (- (+ d2 5.0) (+ d3 32.0)) d1)) (- (+ d2 5.0) (+ d3 32.0)))

rewrite957.0ms

Algorithm
rewrite-expression-head
Rules
138×flip3-+ flip-+
102×associate-*l/
96×*-un-lft-identity
72×frac-times
68×frac-sub
56×frac-add
48×associate-/l/
33×distribute-lft-out
28×add-sqr-sqrt
20×add-cbrt-cube add-exp-log
18×add-cube-cbrt
17×flip3-- flip--
16×prod-diff distribute-lft-out-- add-log-exp
15×associate-*l*
12×associate-*r/
11×pow1
8×associate-/r* times-frac
7×prod-exp cbrt-unprod
6×associate-/r/
4×expm1-log1p-u sum-log fma-neg diff-log associate-*r* pow-prod-down log1p-expm1-u difference-of-squares
3×cbrt-undiv div-exp
2×*-commutative
1×clear-num sub-neg frac-2neg associate--l+ div-inv associate-/l* associate--r+ unswap-sqr
Counts
4 → 240
Calls
4 calls:
52.0ms
(- (+ d2 5.0) (+ d3 32.0))
171.0ms
(* (- (+ d2 5.0) (+ d3 32.0)) d1)
333.0ms
(* (+ (+ d2 5.0) (+ d3 32.0)) (* (- (+ d2 5.0) (+ d3 32.0)) d1))
368.0ms
(/ (* (+ (+ d2 5.0) (+ d3 32.0)) (* (- (+ d2 5.0) (+ d3 32.0)) d1)) (- (+ d2 5.0) (+ d3 32.0)))

series242.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(- (+ d2 5.0) (+ d3 32.0))
50.0ms
(* (- (+ d2 5.0) (+ d3 32.0)) d1)
114.0ms
(* (+ (+ d2 5.0) (+ d3 32.0)) (* (- (+ d2 5.0) (+ d3 32.0)) d1))
50.0ms
(/ (* (+ (+ d2 5.0) (+ d3 32.0)) (* (- (+ d2 5.0) (+ d3 32.0)) d1)) (- (+ d2 5.0) (+ d3 32.0)))

simplify2.0s

Counts
252 → 252
Iterations
IterNodes
done5001
11252
0355

prune1.8s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize72.0ms

Local error

Found 4 expressions with local error:

3.4b
(- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0)))
4.4b
(/ (/ (* (- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0))) d1) (* (cbrt (- (+ d2 5.0) (+ d3 32.0))) (cbrt (- (+ d2 5.0) (+ d3 32.0))))) (cbrt (- (+ d2 5.0) (+ d3 32.0))))
7.4b
(* (- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0))) d1)
13.3b
(/ (* (- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0))) d1) (* (cbrt (- (+ d2 5.0) (+ d3 32.0))) (cbrt (- (+ d2 5.0) (+ d3 32.0)))))

rewrite787.0ms

Algorithm
rewrite-expression-head
Rules
1098×cbrt-div
1020×flip3-+ flip-+
924×frac-sub
774×*-un-lft-identity
660×frac-times
630×associate-/r/
596×times-frac
432×cbrt-prod
306×associate-*l/
236×add-sqr-sqrt
216×distribute-lft-out distribute-lft-out--
186×flip3-- flip--
174×associate-*r/
126×add-cube-cbrt
67×associate-/l/
56×difference-of-squares
54×associate-/l*
36×add-exp-log
23×add-cbrt-cube
14×div-inv
13×cbrt-undiv div-exp
12×associate-/r*
9×prod-exp cbrt-unprod
6×pow1 add-log-exp
4×expm1-log1p-u associate-*l* log1p-expm1-u
3×associate-*r*
2×distribute-rgt-in clear-num frac-2neg distribute-lft-in associate--l+ associate--r+
1×sub-neg fma-neg diff-log prod-diff pow-prod-down *-commutative unswap-sqr
Counts
4 → 985
Calls
4 calls:
47.0ms
(- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0)))
242.0ms
(/ (/ (* (- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0))) d1) (* (cbrt (- (+ d2 5.0) (+ d3 32.0))) (cbrt (- (+ d2 5.0) (+ d3 32.0))))) (cbrt (- (+ d2 5.0) (+ d3 32.0))))
123.0ms
(* (- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0))) d1)
176.0ms
(/ (* (- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0))) d1) (* (cbrt (- (+ d2 5.0) (+ d3 32.0))) (cbrt (- (+ d2 5.0) (+ d3 32.0)))))

series883.0ms

Counts
4 → 12
Calls
4 calls:
67.0ms
(- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0)))
95.0ms
(/ (/ (* (- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0))) d1) (* (cbrt (- (+ d2 5.0) (+ d3 32.0))) (cbrt (- (+ d2 5.0) (+ d3 32.0))))) (cbrt (- (+ d2 5.0) (+ d3 32.0))))
103.0ms
(* (- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0))) d1)
617.0ms
(/ (* (- (* (+ d2 5.0) (+ d2 5.0)) (* (+ d3 32.0) (+ d3 32.0))) d1) (* (cbrt (- (+ d2 5.0) (+ d3 32.0))) (cbrt (- (+ d2 5.0) (+ d3 32.0)))))

simplify3.0s

Counts
997 → 997
Iterations
IterNodes
done5000
14132
01375

prune5.4s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes125.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done13
113
09

end0.0ms

sample710.0ms

Algorithm
intervals
Results
494.0ms10176×body80valid
2.0ms12×body640valid
1.0ms9×body1280valid
1.0ms12×body320valid
0.0ms1×body160valid