Details

Time bar (total: 17.7s)

sample62.0ms

Algorithm
intervals
Results
45.0ms378×body80valid

simplify187.0ms

Calls
1 calls:
Slowest
187.0ms
(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* d1 d2) (* d1 d3))
0.0b
(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))
0.0b
(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
19×add-log-exp
6×diff-log
4×add-sqr-sqrt sum-log
3×pow1 sub-neg *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
2×associate-+l+ flip3-- associate-+l- flip--
1×associate--l- +-commutative flip3-+ associate--l+ flip-+ distribute-lft-out-- difference-of-squares
Calls
3 calls:
Slowest
73.0ms
(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
10.0ms
(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))
2.0ms
(- (* d1 d2) (* d1 d3))

series196.0ms

Calls
3 calls:
Slowest
74.0ms
(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
64.0ms
(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))
58.0ms
(- (* d1 d2) (* d1 d3))

simplify2.2s

Calls
23 calls:
Slowest
259.0ms
(/ (* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1))) (exp (* d1 d1)))
211.0ms
(* (exp (- (* d1 d2) (* d1 d3))) (exp (* d4 d1)))
210.0ms
(- (* d2 d1) (+ (pow d1 2) (* d3 d1)))
208.0ms
(/ (exp (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (exp (* d1 d1)))
186.0ms
(* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1)))

prune576.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (+ (- d2 d3) d4) d1)
0.0b
(- (* (+ (- d2 d3) d4) d1) (* d1 d1))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
4×add-log-exp
3×add-sqr-sqrt *-un-lft-identity associate-*l* add-cube-cbrt
2×pow1 add-cbrt-cube associate-*l/ add-exp-log insert-posit16
1×sub-neg flip3-+ flip3-- distribute-rgt-out-- diff-log *-commutative flip-+ flip--
Calls
2 calls:
Slowest
18.0ms
(* (+ (- d2 d3) d4) d1)
15.0ms
(- (* (+ (- d2 d3) d4) d1) (* d1 d1))

series104.0ms

Calls
2 calls:
Slowest
68.0ms
(- (* (+ (- d2 d3) d4) d1) (* d1 d1))
36.0ms
(* (+ (- d2 d3) d4) d1)

simplify1.5s

Calls
12 calls:
Slowest
283.0ms
(/ (exp (* (+ (- d2 d3) d4) d1)) (exp (* d1 d1)))
226.0ms
(- (+ (- d2 d3) d4) d1)
218.0ms
(* (- (* (- d2 d3) (- d2 d3)) (* d4 d4)) d1)
154.0ms
(- (* d4 d1) (+ (pow d1 2) (* d3 d1)))
142.0ms
(- (* d4 d1) (+ (pow d1 2) (* d3 d1)))

prune298.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

3.9b
(cbrt (- (* d1 d2) (* d1 d3)))
3.9b
(cbrt (- (* d1 d2) (* d1 d3)))
3.9b
(cbrt (- (* d1 d2) (* d1 d3)))
0.5b
(* (cbrt (- (* d1 d2) (* d1 d3))) (cbrt (- (* d1 d2) (* d1 d3))))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
20×cbrt-prod
18×cbrt-div
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1 flip3-- flip--
7×pow1/3 associate-*r* associate-*l*
6×add-exp-log
5×distribute-lft-out--
4×frac-times add-cbrt-cube insert-posit16 add-log-exp
2×pow-prod-down associate-*l/ associate-*r/ pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
22.0ms
(* (cbrt (- (* d1 d2) (* d1 d3))) (cbrt (- (* d1 d2) (* d1 d3))))
4.0ms
(cbrt (- (* d1 d2) (* d1 d3)))
3.0ms
(cbrt (- (* d1 d2) (* d1 d3)))
3.0ms
(cbrt (- (* d1 d2) (* d1 d3)))

series645.0ms

Calls
4 calls:
Slowest
178.0ms
(cbrt (- (* d1 d2) (* d1 d3)))
171.0ms
(* (cbrt (- (* d1 d2) (* d1 d3))) (cbrt (- (* d1 d2) (* d1 d3))))
157.0ms
(cbrt (- (* d1 d2) (* d1 d3)))
139.0ms
(cbrt (- (* d1 d2) (* d1 d3)))

simplify8.8s

Calls
64 calls:
Slowest
652.0ms
(* (cbrt (- (* (* d1 d2) (* d1 d2)) (* (* d1 d3) (* d1 d3)))) (cbrt (- (* (* d1 d2) (* d1 d2)) (* (* d1 d3) (* d1 d3)))))
342.0ms
(* (cbrt (+ (* (* d1 d2) (* d1 d2)) (+ (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3))))) (cbrt (+ (* d1 d2) (* d1 d3))))
339.0ms
(* (cbrt (+ (* d1 d2) (* d1 d3))) (cbrt (+ (* (* d1 d2) (* d1 d2)) (+ (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3))))))
336.0ms
(* (cbrt (+ (* (* d1 d2) (* d1 d2)) (+ (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3))))) (cbrt (+ (* (* d1 d2) (* d1 d2)) (+ (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3))))))
328.0ms
(cbrt (- (* (* d1 d2) (* d1 d2)) (* (* d1 d3) (* d1 d3))))

prune1.2s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes202.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.3s11913×body80valid