Original	0.0
Target	0.0
Herbie	0.0

Details

sample51.0ms

Algorithm

intervals

Results

32.0ms	324×	body	80	valid
0.0ms	1×	body	320	valid

simplify280.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

280.0ms

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

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 1 expressions with local error:

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

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

3×	`associate-l`
2×	`add-cube-cbrt`
2×	`associate-*l/`
2×	`*-un-lft-identity`
2×	`add-sqr-sqrt`
1×	`add-log-exp`
1×	`flip-+`
1×	`*-commutative`
1×	`add-exp-log`
1×	`add-cbrt-cube`
1×	`flip3-+`
1×	`pow1`

Counts

1 → 13

Calls

1 calls:

Slowest

6.0ms

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

series30.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

30.0ms

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

simplify871.0ms

Counts

7 → 16

Calls

7 calls:

Slowest

553.0ms	(* (+ (pow d3 3) (pow (+ d2 37) 3)) d1)
185.0ms	(* (- (* d3 d3) (* (+ d2 37) (+ d2 37))) d1)
46.0ms	(+ (* d3 d1) (+ (* d2 d1) (* 37 d1)))
31.0ms	(+ (* d3 d1) (+ (* d2 d1) (* 37 d1)))
28.0ms	(+ (* d3 d1) (+ (* d2 d1) (* 37 d1)))

prune164.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize17.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)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
4×	`add-cube-cbrt`
4×	`*-un-lft-identity`
4×	`sum-log`
4×	`add-sqr-sqrt`
3×	`flip-+`
3×	`add-exp-log`
3×	`associate-l`
3×	`add-cbrt-cube`
3×	`flip3-+`
3×	`pow1`
2×	`associate-*l/`
2×	`+-commutative`
1×	`*-commutative`
1×	`associate-+l+`

Counts

3 → 37

Calls

3 calls:

Slowest

10.0ms	(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
5.0ms	(+ (* d1 d2) (* (+ d3 5) d1))
4.0ms	(* (+ d3 5) d1)

series73.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

28.0ms	(+ (* d1 d2) (* (+ d3 5) d1))
27.0ms	(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
18.0ms	(* (+ d3 5) d1)

simplify701.0ms

Counts

17 → 46

Calls

17 calls:

Slowest

166.0ms	(* (exp (+ (* d1 d2) (* (+ d3 5) d1))) (exp (* d1 32)))
130.0ms	(* (* (exp (* d1 d2)) (exp (* (+ d3 5) d1))) (exp (* d1 32)))
116.0ms	(* (- (* d3 d3) (* 5 5)) d1)
80.0ms	(* (exp (* d1 d2)) (exp (* (+ d3 5) d1)))
34.0ms	(+ (* d2 d1) (+ (* d3 d1) (* 37 d1)))

prune350.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.8b	(* (cbrt (+ d3 5)) (cbrt (+ d3 5)))
0.8b	(cbrt (+ d3 5))
0.8b	(cbrt (+ d3 5))
0.8b	(cbrt (+ d3 5))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-div`
15×	`cbrt-prod`
11×	`add-cube-cbrt`
11×	`*-un-lft-identity`
11×	`add-sqr-sqrt`
9×	`flip-+`
9×	`flip3-+`
9×	`pow1`
7×	`pow1/3`
6×	`add-exp-log`
6×	`associate-l`
6×	`associate-r`
4×	`add-log-exp`
4×	`add-cbrt-cube`
4×	`frac-times`
2×	`pow-prod-up`
2×	`associate-*r/`
2×	`associate-*l/`
2×	`pow-prod-down`
1×	`cbrt-unprod`
1×	`*-commutative`
1×	`prod-exp`
1×	`pow-plus`
1×	`pow2`

Counts

4 → 75

Calls

4 calls:

Slowest

5.0ms	(* (cbrt (+ d3 5)) (cbrt (+ d3 5)))
1.0ms	(cbrt (+ d3 5))
0.0ms	(cbrt (+ d3 5))
0.0ms	(cbrt (+ d3 5))

series169.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

46.0ms	(cbrt (+ d3 5))
45.0ms	(* (cbrt (+ d3 5)) (cbrt (+ d3 5)))
40.0ms	(cbrt (+ d3 5))
38.0ms	(cbrt (+ d3 5))

simplify2.7s

Counts

59 → 87

Calls

59 calls:

Slowest

541.0ms	(- (+ (* 1/15 (* d3 (pow 5 1/3))) (pow 5 1/3)) (* 1/225 (* (pow d3 2) (pow 5 1/3))))
230.0ms	(- (+ (* 1/15 (* d3 (pow 5 1/3))) (pow 5 1/3)) (* 1/225 (* (pow d3 2) (pow 5 1/3))))
224.0ms	(- (+ (* 1/15 (* d3 (pow 5 1/3))) (pow 5 1/3)) (* 1/225 (* (pow d3 2) (pow 5 1/3))))
210.0ms	(- (+ (* 2/15 (* d3 (pow 25 1/3))) (pow 25 1/3)) (* 1/225 (* (pow d3 2) (pow 25 1/3))))
197.0ms	(- (+ (* 5/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) d3)) (exp (* 1/3 (- (log -1) (log (/ -1 d3)))))) (* 25/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) (pow d3 2))))

prune1.0s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.8b	(cbrt (+ d3 5))
0.8b	(cbrt (+ d3 5))
0.8b	(cbrt (+ d3 5))
0.8b	(cbrt (+ d3 5))

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-cube-cbrt`
8×	`*-un-lft-identity`
8×	`cbrt-div`
8×	`add-sqr-sqrt`
4×	`add-log-exp`
4×	`flip-+`
4×	`add-exp-log`
4×	`pow1/3`
4×	`add-cbrt-cube`
4×	`flip3-+`
4×	`pow1`

Counts

4 → 52

Calls

4 calls:

Slowest

1.0ms	(cbrt (+ d3 5))
0.0ms	(cbrt (+ d3 5))
0.0ms	(cbrt (+ d3 5))
0.0ms	(cbrt (+ d3 5))

series180.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

51.0ms	(cbrt (+ d3 5))
44.0ms	(cbrt (+ d3 5))
43.0ms	(cbrt (+ d3 5))
43.0ms	(cbrt (+ d3 5))

simplify1.9s

Counts

32 → 64

Calls

32 calls:

Slowest

237.0ms	(- (+ (* 1/15 (* d3 (pow 5 1/3))) (pow 5 1/3)) (* 1/225 (* (pow d3 2) (pow 5 1/3))))
235.0ms	(- (+ (* 1/15 (* d3 (pow 5 1/3))) (pow 5 1/3)) (* 1/225 (* (pow d3 2) (pow 5 1/3))))
221.0ms	(- (+ (* 1/15 (* d3 (pow 5 1/3))) (pow 5 1/3)) (* 1/225 (* (pow d3 2) (pow 5 1/3))))
177.0ms	(- (+ (* 1/15 (* d3 (pow 5 1/3))) (pow 5 1/3)) (* 1/225 (* (pow d3 2) (pow 5 1/3))))
172.0ms	(- (+ (* 5/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) d3)) (exp (* 1/3 (- (log -1) (log (/ -1 d3)))))) (* 25/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) (pow d3 2))))

prune738.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes221.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample1.1s

Algorithm

intervals

Results

979.0ms	10055×	body	80	valid
5.0ms	17×	body	640	valid
2.0ms	11×	body	320	valid
2.0ms	6×	body	1280	valid
1.0ms	8×	body	160	valid

Error

Try it out

Target

Derivation

Reproduce

Details

sample51.0ms

simplify280.0ms

prune18.0ms

localize21.0ms

rewrite6.0ms

series30.0ms

simplify871.0ms

prune164.0ms

localize17.0ms

rewrite19.0ms

series73.0ms

simplify701.0ms

prune350.0ms

localize18.0ms

rewrite7.0ms

series169.0ms

simplify2.7s

prune1.0s

localize30.0ms

rewrite2.0ms

series180.0ms

simplify1.9s

prune738.0ms

regimes221.0ms

bsearch1.0ms

end0.0ms

sample1.1s

In
Out