Original	0.0
Target	0.0
Herbie	0.0

Details

sample54.0ms

Algorithm

intervals

Results

37.0ms	304×	body	80	valid
1.0ms	3×	body	160	valid
0.0ms	1×	body	640	valid

simplify320.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

320.0ms

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

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize19.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

5.0ms

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

series33.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

33.0ms

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

simplify1.0s

Counts

7 → 16

Calls

7 calls:

Slowest

710.0ms	(* (+ (pow d3 3) (pow (+ d2 37) 3)) d1)
151.0ms	(* (- (* d3 d3) (* (+ d2 37) (+ d2 37))) d1)
51.0ms	(+ (* d3 d1) (+ (* d2 d1) (* 37 d1)))
47.0ms	(+ (* d3 d1) (+ (* d2 d1) (* 37 d1)))
26.0ms	(+ (* d3 d1) (+ (* d2 d1) (* 37 d1)))

prune123.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

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

rewrite17.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

11.0ms	(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
3.0ms	(+ (* d1 d2) (* (+ d3 5) d1))
2.0ms	(* (+ d3 5) d1)

series83.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

36.0ms	(+ (* d1 d2) (* (+ d3 5) d1))
31.0ms	(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
17.0ms	(* (+ d3 5) d1)

simplify889.0ms

Counts

17 → 46

Calls

17 calls:

Slowest

208.0ms	(* (exp (+ (* d1 d2) (* (+ d3 5) d1))) (exp (* d1 32)))
125.0ms	(* (- (* d3 d3) (* 5 5)) d1)
125.0ms	(* (* (exp (* d1 d2)) (exp (* (+ d3 5) d1))) (exp (* d1 32)))
95.0ms	(* (exp (* d1 d2)) (exp (* (+ d3 5) d1)))
51.0ms	(+ (* d2 d1) (+ (* d3 d1) (* 37 d1)))

prune491.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ (* d1 d2) (* (+ d3 5) d1)))
0.6b	(cbrt (+ (* d1 d2) (* (+ d3 5) d1)))
0.6b	(cbrt (+ (* d1 d2) (* (+ d3 5) d1)))
0.5b	(* (cbrt (+ (* d1 d2) (* (+ d3 5) d1))) (cbrt (+ (* d1 d2) (* (+ d3 5) d1))))

rewrite13.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

8.0ms	(* (cbrt (+ (* d1 d2) (* (+ d3 5) d1))) (cbrt (+ (* d1 d2) (* (+ d3 5) d1))))
1.0ms	(cbrt (+ (* d1 d2) (* (+ d3 5) d1)))
1.0ms	(cbrt (+ (* d1 d2) (* (+ d3 5) d1)))
1.0ms	(cbrt (+ (* d1 d2) (* (+ d3 5) d1)))

series554.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

153.0ms	(cbrt (+ (* d1 d2) (* (+ d3 5) d1)))
153.0ms	(cbrt (+ (* d1 d2) (* (+ d3 5) d1)))
125.0ms	(* (cbrt (+ (* d1 d2) (* (+ d3 5) d1))) (cbrt (+ (* d1 d2) (* (+ d3 5) d1))))
122.0ms	(cbrt (+ (* d1 d2) (* (+ d3 5) d1)))

simplify7.8s

Counts

59 → 87

Calls

59 calls:

Slowest

469.0ms	(cbrt (+ (* (* d1 d2) (* d1 d2)) (- (* (* (+ d3 5) d1) (* (+ d3 5) d1)) (* (* d1 d2) (* (+ d3 5) d1)))))
344.0ms	(+ (* 1/15 (* d3 (exp (* 1/3 (+ (log 5) (log d1)))))) (+ (* 1/15 (* d2 (exp (* 1/3 (+ (log 5) (log d1)))))) (exp (* 1/3 (+ (log 5) (log d1))))))
323.0ms	(- (+ (* 5/3 (/ (exp (* -1/3 (+ (log (/ -1 d1)) (log (/ -1 d2))))) d2)) (exp (* -1/3 (+ (log (/ -1 d1)) (log (/ -1 d2)))))) (* 25/9 (/ (exp (* -1/3 (+ (log (/ -1 d1)) (log (/ -1 d2))))) (pow d2 2))))
300.0ms	(- (+ (* 5/3 (/ (exp (* -1/3 (+ (log (/ -1 d1)) (log (/ -1 d2))))) d2)) (exp (* -1/3 (+ (log (/ -1 d1)) (log (/ -1 d2)))))) (* 25/9 (/ (exp (* -1/3 (+ (log (/ -1 d1)) (log (/ -1 d2))))) (pow d2 2))))
292.0ms	(- (+ (* 5/3 (/ (exp (* -1/3 (+ (log (/ -1 d1)) (log (/ -1 d2))))) d2)) (exp (* -1/3 (+ (log (/ -1 d1)) (log (/ -1 d2)))))) (* 25/9 (/ (exp (* -1/3 (+ (log (/ -1 d1)) (log (/ -1 d2))))) (pow d2 2))))

prune1.1s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize56.0ms

Local error

Found 4 expressions with local error:

24.5b	(/ (* (+ (pow d3 3) (pow (+ d2 37) 3)) d1) (+ (* d3 d3) (- (* (+ d2 37) (+ d2 37)) (* d3 (+ d2 37)))))
4.5b	(* (+ (pow d3 3) (pow (+ d2 37) 3)) d1)
2.1b	(+ (pow d3 3) (pow (+ d2 37) 3))
1.6b	(- (* (+ d2 37) (+ d2 37)) (* d3 (+ d2 37)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

28×	`flip-+`
28×	`flip3-+`
26×	`associate-*r/`
16×	`frac-sub`
11×	`*-un-lft-identity`
10×	`associate-*l/`
8×	`add-log-exp`
8×	`frac-times`
7×	`add-cube-cbrt`
7×	`add-sqr-sqrt`
6×	`add-exp-log`
6×	`add-cbrt-cube`
5×	`associate-l`
4×	`sub-div`
4×	`pow1`
3×	`times-frac`
3×	`associate-/r*`
2×	`associate-/l/`
2×	`associate--r+`
2×	`distribute-lft-out`
2×	`sum-cubes`
2×	`associate-/r/`
2×	`associate--l+`
2×	`distribute-lft-in`
2×	`distribute-rgt-in`
1×	`associate-/l*`
1×	`flip--`
1×	`div-inv`
1×	`*-commutative`
1×	`div-exp`
1×	`diff-log`
1×	`distribute-rgt-out--`
1×	`flip3--`
1×	`frac-2neg`
1×	`sub-neg`
1×	`sum-log`
1×	`clear-num`
1×	`+-commutative`
1×	`cbrt-undiv`

Counts

4 → 88

Calls

4 calls:

Slowest

19.0ms	(/ (* (+ (pow d3 3) (pow (+ d2 37) 3)) d1) (+ (* d3 d3) (- (* (+ d2 37) (+ d2 37)) (* d3 (+ d2 37)))))
8.0ms	(* (+ (pow d3 3) (pow (+ d2 37) 3)) d1)
7.0ms	(- (* (+ d2 37) (+ d2 37)) (* d3 (+ d2 37)))
5.0ms	(+ (pow d3 3) (pow (+ d2 37) 3))

series219.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

91.0ms	(/ (* (+ (pow d3 3) (pow (+ d2 37) 3)) d1) (+ (* d3 d3) (- (* (+ d2 37) (+ d2 37)) (* d3 (+ d2 37)))))
65.0ms	(* (+ (pow d3 3) (pow (+ d2 37) 3)) d1)
32.0ms	(+ (pow d3 3) (pow (+ d2 37) 3))
31.0ms	(- (* (+ d2 37) (+ d2 37)) (* d3 (+ d2 37)))

simplify15.3s

Counts

84 → 100

Calls

84 calls:

Slowest

704.0ms	(- (* (* (+ (pow d2 3) (pow 37 3)) (+ (pow d2 3) (pow 37 3))) (+ (* d2 d2) (- (* 37 37) (* d2 37)))) (* (* (+ (* d2 d2) (- (* 37 37) (* d2 37))) (+ (* d2 d2) (- (* 37 37) (* d2 37)))) (* d3 (+ (pow d2 3) (pow 37 3)))))
687.0ms	(* (+ (pow (pow d3 3) 3) (pow (pow (+ d2 37) 3) 3)) d1)
682.0ms	(* (+ (pow (pow d3 3) 3) (pow (pow (+ d2 37) 3) 3)) d1)
517.0ms	(* (exp (pow d3 3)) (exp (pow (+ d2 37) 3)))
472.0ms	(* (* (- d2 37) (+ (* d2 d2) (- (* 37 37) (* d2 37)))) (- d2 37))

prune927.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes176.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample803.0ms

Algorithm

intervals

Results

680.0ms	9967×	body	80	valid
3.0ms	14×	body	640	valid
2.0ms	13×	body	320	valid
2.0ms	6×	body	1280	valid
1.0ms	5×	body	160	valid

Error

Try it out

Target

Derivation

Reproduce

Details

sample54.0ms

simplify320.0ms

prune19.0ms

localize19.0ms

rewrite6.0ms

series33.0ms

simplify1.0s

prune123.0ms

localize19.0ms

rewrite17.0ms

series83.0ms

simplify889.0ms

prune491.0ms

localize11.0ms

rewrite13.0ms

series554.0ms

simplify7.8s

prune1.1s

localize56.0ms

rewrite41.0ms

series219.0ms

simplify15.3s

prune927.0ms

regimes176.0ms

bsearch1.0ms

end0.0ms

sample803.0ms

In
Out