Details

Time bar (total: 10.6s)

sample43.0ms

Algorithm
intervals
Results
31.0ms329×body80valid

simplify246.0ms

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

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 1 expressions with local error:

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

rewrite2.0ms

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

series42.0ms

Calls
1 calls:
Slowest
42.0ms
(* d1 (+ d2 (+ d3 37)))

simplify737.0ms

Calls
10 calls:
Slowest
299.0ms
(+ (* d2 d2) (- (* (+ d3 37) (+ d3 37)) (* d2 (+ d3 37))))
104.0ms
(+ (* d2 d1) (+ (* d3 d1) (* 37 d1)))
101.0ms
(+ (* d2 d1) (+ (* d3 d1) (* 37 d1)))
97.0ms
(+ (* d2 d1) (+ (* d3 d1) (* 37 d1)))
29.0ms
(cbrt (+ d2 (+ d3 37)))

prune184.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite18.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
11.0ms
(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
3.0ms
(+ (* d1 d2) (* (+ d3 5) d1))
3.0ms
(* (+ d3 5) d1)

series153.0ms

Calls
3 calls:
Slowest
65.0ms
(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
49.0ms
(+ (* d1 d2) (* (+ d3 5) d1))
40.0ms
(* (+ d3 5) d1)

simplify1.7s

Calls
19 calls:
Slowest
340.0ms
(* (exp (+ (* d1 d2) (* (+ d3 5) d1))) (exp (* d1 32)))
284.0ms
(* (* (exp (* d1 d2)) (exp (* (+ d3 5) d1))) (exp (* d1 32)))
163.0ms
(* (- (* d3 d3) (* 5 5)) d1)
157.0ms
(* (exp (* d1 d2)) (exp (* (+ d3 5) d1)))
120.0ms
(+ (* d2 d1) (+ (* d3 d1) (* 5 d1)))

prune503.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite11.0ms

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

series137.0ms

Calls
3 calls:
Slowest
61.0ms
(+ (fma d1 d2 (* (+ d3 5) d1)) (* d1 32))
43.0ms
(fma d1 d2 (* (+ d3 5) d1))
33.0ms
(* (+ d3 5) d1)

simplify1.4s

Calls
17 calls:
Slowest
218.0ms
(* (- (* d3 d3) (* 5 5)) d1)
217.0ms
(* (exp (fma d1 d2 (* (+ d3 5) d1))) (exp (* d1 32)))
126.0ms
(+ (* d2 d1) (+ (* d3 d1) (* 5 d1)))
111.0ms
(+ (* d2 d1) (+ (* d3 d1) (* 37 d1)))
106.0ms
(* (cbrt (fma d1 d2 (* (+ d3 5) d1))) (cbrt (fma d1 d2 (* (+ d3 5) d1))))

prune515.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

9.7b
(/ (* (fma d3 d3 -25) d1) (- d3 5))
3.8b
(* (fma d3 d3 -25) d1)
0.0b
(+ (fma d1 d2 (/ (* (fma d3 d3 -25) d1) (- d3 5))) (* d1 32))
0.0b
(fma d1 d2 (/ (* (fma d3 d3 -25) d1) (- d3 5)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×add-cbrt-cube add-exp-log add-log-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
3×associate-/r* fma-def times-frac associate-*l*
2×associate-/r/ fma-udef
1×cbrt-undiv +-commutative associate-+l+ clear-num sum-log frac-2neg flip3-+ flip3-- div-exp *-commutative flip-+ div-inv flip-- associate-/l*
Calls
4 calls:
Slowest
7.0ms
(/ (* (fma d3 d3 -25) d1) (- d3 5))
7.0ms
(* (fma d3 d3 -25) d1)
4.0ms
(+ (fma d1 d2 (/ (* (fma d3 d3 -25) d1) (- d3 5))) (* d1 32))
0.0ms
(fma d1 d2 (/ (* (fma d3 d3 -25) d1) (- d3 5)))

series323.0ms

Calls
4 calls:
Slowest
121.0ms
(+ (fma d1 d2 (/ (* (fma d3 d3 -25) d1) (- d3 5))) (* d1 32))
74.0ms
(fma d1 d2 (/ (* (fma d3 d3 -25) d1) (- d3 5)))
69.0ms
(/ (* (fma d3 d3 -25) d1) (- d3 5))
60.0ms
(* (fma d3 d3 -25) d1)

simplify1.8s

Calls
32 calls:
Slowest
255.0ms
(/ (* (* (* (fma d3 d3 -25) d1) (* (fma d3 d3 -25) d1)) (* (fma d3 d3 -25) d1)) (* (* (- d3 5) (- d3 5)) (- d3 5)))
248.0ms
(* (exp (fma d1 d2 (/ (* (fma d3 d3 -25) d1) (- d3 5)))) (exp (* d1 32)))
140.0ms
(sqrt (fma d1 d2 (/ (* (fma d3 d3 -25) d1) (- d3 5))))
129.0ms
(+ (* d2 d1) (+ (* d3 d1) (* 37 d1)))
125.0ms
(+ (* d2 d1) (+ (* d3 d1) (* 5 d1)))

prune924.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes167.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.5s

Algorithm
intervals
Results
1.3s10057×body80valid
4.0ms14×body640valid
2.0ms6×body1280valid
2.0ms11×body320valid
2.0ms13×body160valid