Details

Time bar (total: 17.2s)

sample29.0ms

Algorithm
intervals
Results
18.0ms326×body80valid
0.0ms1×body640valid
0.0ms1×body320valid

simplify272.0ms

Calls
1 calls:
Slowest
272.0ms
(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(* d1 (+ d2 (+ d3 37)))
0.0b
(+ d2 (+ d3 37))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt *-un-lft-identity associate-*r* add-cube-cbrt
2×expm1-log1p-u pow1 flip3-+ add-cbrt-cube associate-*r/ add-exp-log flip-+ insert-posit16 log1p-expm1-u add-log-exp
1×distribute-rgt-in +-commutative associate-+r+ distribute-lft-in *-commutative
Calls
2 calls:
Slowest
2.0ms
(* d1 (+ d2 (+ d3 37)))
1.0ms
(+ d2 (+ d3 37))

series30.0ms

Calls
2 calls:
Slowest
22.0ms
(* d1 (+ d2 (+ d3 37)))
8.0ms
(+ d2 (+ d3 37))

simplify800.0ms

Calls
13 calls:
Slowest
287.0ms
(+ (* d2 d2) (- (* (+ d3 37) (+ d3 37)) (* d2 (+ d3 37))))
124.0ms
(+ (* d2 d1) (+ (* d3 d1) (* 37 d1)))
114.0ms
(+ (* d2 d1) (+ (* d3 d1) (* 37 d1)))
70.0ms
(+ (* d2 d1) (+ (* d3 d1) (* 37 d1)))
34.0ms
(cbrt (+ d2 (+ d3 37)))

prune297.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize30.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
0.0b
(* (+ d3 5) d1)
0.0b
(+ (* d1 d2) (* (+ d3 5) d1))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×sum-log fma-def
3×expm1-log1p-u pow1 flip3-+ add-cbrt-cube associate-*l* add-exp-log flip-+ insert-posit16 log1p-expm1-u
2×+-commutative associate-*l/
1×associate-+l+ *-commutative
Calls
3 calls:
Slowest
13.0ms
(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
4.0ms
(+ (* d1 d2) (* (+ d3 5) d1))
3.0ms
(* (+ d3 5) d1)

series72.0ms

Calls
3 calls:
Slowest
29.0ms
(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
24.0ms
(+ (* d1 d2) (* (+ d3 5) d1))
20.0ms
(* (+ d3 5) d1)

simplify2.0s

Calls
19 calls:
Slowest
326.0ms
(* (exp (+ (* d1 d2) (* (+ d3 5) d1))) (exp (* d1 32)))
287.0ms
(* (* (exp (* d1 d2)) (exp (* (+ d3 5) d1))) (exp (* d1 32)))
212.0ms
(* (exp (* d1 d2)) (exp (* (+ d3 5) d1)))
200.0ms
(* (- (* d3 d3) (* 5 5)) d1)
131.0ms
(* (cbrt (+ (* d1 d2) (* (+ d3 5) d1))) (cbrt (+ (* d1 d2) (* (+ d3 5) d1))))

prune546.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

28.8b
(/ (* d1 (+ (pow d2 3) (pow (+ d3 37) 3))) (fma (- (+ 37 d3) d2) (+ 37 d3) (* d2 d2)))
3.8b
(* d1 (+ (pow d2 3) (pow (+ d3 37) 3)))
3.0b
(+ (pow d2 3) (pow (+ d3 37) 3))
0.0b
(pow (+ d3 37) 3)

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
14×*-un-lft-identity
10×add-sqr-sqrt add-cube-cbrt
7×add-cbrt-cube add-exp-log
6×add-log-exp
5×pow1 fma-def associate-*r*
4×expm1-log1p-u flip3-+ associate-*r/ flip-+ insert-posit16 log1p-expm1-u
3×associate-/r* unpow-prod-down times-frac cube-prod
2×cube-div cube-mult unpow3 sum-cubes distribute-lft-out associate-/l/
1×distribute-rgt-in pow-to-exp cbrt-undiv +-commutative clear-num sum-log pow-pow frac-2neg distribute-lft-in div-exp pow-exp *-commutative div-inv associate-/l* rem-cube-cbrt
Calls
4 calls:
Slowest
15.0ms
(* d1 (+ (pow d2 3) (pow (+ d3 37) 3)))
11.0ms
(+ (pow d2 3) (pow (+ d3 37) 3))
9.0ms
(/ (* d1 (+ (pow d2 3) (pow (+ d3 37) 3))) (fma (- (+ 37 d3) d2) (+ 37 d3) (* d2 d2)))
1.0ms
(pow (+ d3 37) 3)

series326.0ms

Calls
4 calls:
Slowest
151.0ms
(/ (* d1 (+ (pow d2 3) (pow (+ d3 37) 3))) (fma (- (+ 37 d3) d2) (+ 37 d3) (* d2 d2)))
132.0ms
(* d1 (+ (pow d2 3) (pow (+ d3 37) 3)))
34.0ms
(+ (pow d2 3) (pow (+ d3 37) 3))
8.0ms
(pow (+ d3 37) 3)

simplify9.6s

Calls
52 calls:
Slowest
648.0ms
(* d1 (- (* (pow d2 3) (pow d2 3)) (* (pow (+ d3 37) 3) (pow (+ d3 37) 3))))
558.0ms
(/ (* (* (* d1 (+ (pow d2 3) (pow (+ d3 37) 3))) (* d1 (+ (pow d2 3) (pow (+ d3 37) 3)))) (* d1 (+ (pow d2 3) (pow (+ d3 37) 3)))) (* (* (fma (- (+ 37 d3) d2) (+ 37 d3) (* d2 d2)) (fma (- (+ 37 d3) d2) (+ 37 d3) (* d2 d2))) (fma (- (+ 37 d3) d2) (+ 37 d3) (* d2 d2))))
546.0ms
(sqrt (+ (pow d2 3) (pow (+ d3 37) 3)))
493.0ms
(cbrt (+ (pow d2 3) (pow (+ d3 37) 3)))
461.0ms
(+ (pow d2 3) (pow (+ d3 37) 3))

prune1.2s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes170.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.4s10124×body80valid
28.0ms17×body640valid
5.0ms18×body320valid
2.0ms5×body1280valid
1.0ms6×body160valid