Details

Time bar (total: 18.0s)

sample55.0ms

Algorithm
intervals
Results
30.0ms329×body80valid

simplify403.0ms

Counts
1 → 1
Iterations
IterNodes
done690
8690
7684
6647
5558
4308
3122
240
119
011

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite433.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
12×distribute-lft-out
11×add-log-exp
6×add-sqr-sqrt sum-log associate-*r*
4×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
3×associate-*l*
2×flip3-+ associate-*r/ flip-+
1×distribute-rgt-in +-commutative associate-+l+ distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 42
Calls
2 calls:
105.0ms
(+ (+ (+ d2 d3) 32.0) 5.0)
327.0ms
(* d1 (+ (+ (+ d2 d3) 32.0) 5.0))

series73.0ms

Counts
2 → 6
Calls
2 calls:
25.0ms
(+ (+ (+ d2 d3) 32.0) 5.0)
48.0ms
(* d1 (+ (+ (+ d2 d3) 32.0) 5.0))

simplify1.3s

Counts
48 → 48
Iterations
IterNodes
done5001
2952
1217
075

prune291.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite795.0ms

Algorithm
rewrite-expression-head
Rules
83×*-un-lft-identity
33×distribute-lft-out
22×add-sqr-sqrt
13×pow1 add-cbrt-cube add-exp-log add-log-exp
12×add-cube-cbrt
11×swap-sqr
9×associate-*r* distribute-lft-out--
8×associate-*l*
7×distribute-rgt-in associate-/r* distribute-lft-in times-frac
6×flip3-+ associate-*r/ flip-+
5×associate--l+
4×frac-times flip3-- flip-- difference-of-squares
3×sum-log sub-neg diff-log prod-exp cbrt-unprod
2×cbrt-undiv div-exp pow-prod-down associate-*l/ associate-/r/ *-commutative unswap-sqr associate-/l/
1×pow2 clear-num frac-2neg pow-plus pow-sqr pow-prod-up div-inv associate-/l*
Counts
4 → 128
Calls
4 calls:
204.0ms
(- (+ (+ d2 d3) 32.0) 5.0)
172.0ms
(* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0))
192.0ms
(* d1 (- (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0)) (* 5.0 5.0)))
220.0ms
(/ (* d1 (- (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0)) (* 5.0 5.0))) (- (+ (+ d2 d3) 32.0) 5.0))

series350.0ms

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

simplify2.6s

Counts
140 → 140
Iterations
IterNodes
done5000
24369
1674
0220

prune674.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (+ d2 d3) 32.0) 5.0)
0.0b
(* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0))
0.3b
(/ d1 (/ (- (+ (+ d2 d3) 32.0) 5.0) (- (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0)) (* 5.0 5.0))))
20.9b
(/ (- (+ (+ d2 d3) 32.0) 5.0) (- (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0)) (* 5.0 5.0)))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
346×*-un-lft-identity
242×times-frac
150×add-sqr-sqrt
104×add-cube-cbrt
90×distribute-lft-out
66×distribute-lft-out--
58×difference-of-squares
38×associate-/r*
13×add-cbrt-cube add-exp-log add-log-exp
11×pow1 swap-sqr associate-/r/
10×associate-/l*
7×flip3-- flip--
6×flip3-+ flip-+ div-inv
5×associate-*r* associate-*l*
4×frac-times cbrt-undiv div-exp
3×sum-log diff-log
2×clear-num frac-2neg associate-*l/ associate-*r/ associate-/l/
1×pow2 distribute-rgt-in sub-neg distribute-lft-in pow-plus div-sub pow-prod-down prod-exp associate--l+ pow-sqr *-commutative pow-prod-up cbrt-unprod unswap-sqr
Counts
4 → 276
Calls
4 calls:
198.0ms
(- (+ (+ d2 d3) 32.0) 5.0)
205.0ms
(* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0))
284.0ms
(/ d1 (/ (- (+ (+ d2 d3) 32.0) 5.0) (- (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0)) (* 5.0 5.0))))
439.0ms
(/ (- (+ (+ d2 d3) 32.0) 5.0) (- (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0)) (* 5.0 5.0)))

series367.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(- (+ (+ d2 d3) 32.0) 5.0)
41.0ms
(* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0))
181.0ms
(/ d1 (/ (- (+ (+ d2 d3) 32.0) 5.0) (- (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0)) (* 5.0 5.0))))
118.0ms
(/ (- (+ (+ d2 d3) 32.0) 5.0) (- (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0)) (* 5.0 5.0)))

simplify1.3s

Counts
288 → 288
Iterations
IterNodes
done5000
11081
0369

prune1.3s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ (+ d2 d3) 32.0) 5.0)
0.1b
(* (+ (+ d2 d3) 32.0) (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0)))
4.5b
(* d1 (+ (* 5.0 (* 5.0 5.0)) (* (+ (+ d2 d3) 32.0) (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0)))))
28.7b
(/ (* d1 (+ (* 5.0 (* 5.0 5.0)) (* (+ (+ d2 d3) 32.0) (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0))))) (+ (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0)) (- (* 5.0 5.0) (* (+ (+ d2 d3) 32.0) 5.0))))

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
43×flip3-+ flip-+
36×frac-times
22×pow1 associate-*r/
21×*-un-lft-identity
18×add-cbrt-cube add-exp-log associate-/r/
16×add-sqr-sqrt frac-add
14×associate-*l/
13×associate-*l*
11×add-cube-cbrt
8×flip3-- associate-*r* flip--
6×prod-exp cbrt-unprod distribute-lft-out
5×distribute-rgt-in distribute-lft-in pow-prod-down pow-prod-up
4×add-log-exp
3×associate-/r* times-frac cube-unmult *-commutative unswap-sqr
2×cbrt-undiv div-exp associate-/l/
1×pow2 clear-num frac-2neg pow-plus pow-sqr sum-cubes div-inv associate-/l*
Counts
4 → 142
Calls
4 calls:
94.0ms
(* (+ (+ d2 d3) 32.0) 5.0)
325.0ms
(* (+ (+ d2 d3) 32.0) (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0)))
661.0ms
(* d1 (+ (* 5.0 (* 5.0 5.0)) (* (+ (+ d2 d3) 32.0) (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0)))))
254.0ms
(/ (* d1 (+ (* 5.0 (* 5.0 5.0)) (* (+ (+ d2 d3) 32.0) (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0))))) (+ (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0)) (- (* 5.0 5.0) (* (+ (+ d2 d3) 32.0) 5.0))))

series997.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(* (+ (+ d2 d3) 32.0) 5.0)
51.0ms
(* (+ (+ d2 d3) 32.0) (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0)))
411.0ms
(* d1 (+ (* 5.0 (* 5.0 5.0)) (* (+ (+ d2 d3) 32.0) (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0)))))
509.0ms
(/ (* d1 (+ (* 5.0 (* 5.0 5.0)) (* (+ (+ d2 d3) 32.0) (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0))))) (+ (* (+ (+ d2 d3) 32.0) (+ (+ d2 d3) 32.0)) (- (* 5.0 5.0) (* (+ (+ d2 d3) 32.0) 5.0))))

simplify1.9s

Counts
154 → 154
Iterations
IterNodes
done5001
11198
0338

prune1.3s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes219.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done13
113
09

end0.0ms

sample1.0s

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