Details

Time bar (total: 57.2s)

sample51.0ms

Algorithm
intervals
Results
36.0ms384×body80valid

simplify160.0ms

Calls
1 calls:
Slowest
160.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

localize17.0ms

Local error

Found 1 expressions with local error:

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

rewrite13.0ms

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

series29.0ms

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

simplify1.9s

Calls
20 calls:
Slowest
218.0ms
(* (- d2 d4) (+ (* d3 d3) (- (* d1 d1) (* d3 d1))))
174.0ms
(+ (* (+ d2 d4) (+ d2 d4)) (+ (* (+ d3 d1) (+ d3 d1)) (* (+ d2 d4) (+ d3 d1))))
145.0ms
(* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (- d3 d1))
142.0ms
(- (+ (* d4 d1) (* d2 d1)) (pow d1 2))
128.0ms
(* d1 (- d4 (+ d3 d1)))

prune261.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 2 expressions with local error:

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

rewrite12.0ms

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

series64.0ms

Calls
2 calls:
Slowest
37.0ms
(- (* d1 d2) (* d1 d3))
26.0ms
(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))

simplify804.0ms

Calls
13 calls:
Slowest
254.0ms
(* (exp (- (* d1 d2) (* d1 d3))) (exp (* d4 d1)))
171.0ms
(* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1)))
102.0ms
(- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
97.0ms
(- (+ (* d4 d1) (* d2 d1)) (* d3 d1))
59.0ms
(/ (exp (* d1 d2)) (exp (* d1 d3)))

prune409.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 4 expressions with local error:

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

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
102×sqrt-div
68×flip3-+ frac-sub flip-+
54×associate-*r/
36×frac-times
20×add-sqr-sqrt sqrt-prod
18×*-un-lft-identity
17×flip3-- flip--
16×associate-*r*
10×add-cube-cbrt
6×pow1 add-cbrt-cube associate-*l/ add-exp-log
4×insert-posit16 distribute-lft-out-- add-log-exp difference-of-squares
2×rem-sqrt-square pow1/2 *-commutative
1×associate-*l* pow-prod-down prod-exp cbrt-unprod
Calls
4 calls:
Slowest
51.0ms
(* (* d1 (sqrt (- (+ d2 d4) (+ d3 d1)))) (sqrt (- (+ d2 d4) (+ d3 d1))))
15.0ms
(* d1 (sqrt (- (+ d2 d4) (+ d3 d1))))
10.0ms
(sqrt (- (+ d2 d4) (+ d3 d1)))
10.0ms
(sqrt (- (+ d2 d4) (+ d3 d1)))

series427.0ms

Calls
4 calls:
Slowest
146.0ms
(* d1 (sqrt (- (+ d2 d4) (+ d3 d1))))
119.0ms
(sqrt (- (+ d2 d4) (+ d3 d1)))
113.0ms
(sqrt (- (+ d2 d4) (+ d3 d1)))
50.0ms
(* (* d1 (sqrt (- (+ d2 d4) (+ d3 d1)))) (sqrt (- (+ d2 d4) (+ d3 d1))))

simplify25.5s

Calls
145 calls:
Slowest
540.0ms
(* (* d1 (sqrt (- (* (+ (pow d2 3) (pow d4 3)) (+ (* d3 d3) (- (* d1 d1) (* d3 d1)))) (* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (+ (pow d3 3) (pow d1 3)))))) (sqrt (- (* (- (* d2 d2) (* d4 d4)) (+ (* d3 d3) (- (* d1 d1) (* d3 d1)))) (* (- d2 d4) (+ (pow d3 3) (pow d1 3))))))
530.0ms
(* (* d1 (sqrt (- (* (- (* d2 d2) (* d4 d4)) (+ (* d3 d3) (- (* d1 d1) (* d3 d1)))) (* (- d2 d4) (+ (pow d3 3) (pow d1 3)))))) (sqrt (- (* (+ (pow d2 3) (pow d4 3)) (+ (* d3 d3) (- (* d1 d1) (* d3 d1)))) (* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (+ (pow d3 3) (pow d1 3))))))
480.0ms
(* (* d1 (sqrt (- (* (- (* d2 d2) (* d4 d4)) (+ (* d3 d3) (- (* d1 d1) (* d3 d1)))) (* (- d2 d4) (+ (pow d3 3) (pow d1 3)))))) (sqrt (- (+ d2 d4) (+ d3 d1))))
472.0ms
(* (* d1 (sqrt (- (* (+ (pow d2 3) (pow d4 3)) (- d3 d1)) (* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (- (* d3 d3) (* d1 d1)))))) (sqrt (- (* (+ (pow d2 3) (pow d4 3)) (+ (* d3 d3) (- (* d1 d1) (* d3 d1)))) (* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (+ (pow d3 3) (pow d1 3))))))
471.0ms
(* (* d1 (sqrt (- (* (+ (pow d2 3) (pow d4 3)) (+ (* d3 d3) (- (* d1 d1) (* d3 d1)))) (* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (+ (pow d3 3) (pow d1 3)))))) (sqrt (- (* (+ (pow d2 3) (pow d4 3)) (- d3 d1)) (* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (- (* d3 d3) (* d1 d1))))))

prune1.4s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- (+ d2 d4) (+ d3 d1)))
0.5b
(cbrt (- (+ d2 d4) (+ d3 d1)))
0.5b
(cbrt (- (+ d2 d4) (+ d3 d1)))
0.5b
(* (cbrt (- (+ d2 d4) (+ d3 d1))) (cbrt (- (+ d2 d4) (+ d3 d1))))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
102×cbrt-div
68×flip3-+ frac-sub flip-+
36×frac-times
25×cbrt-prod
21×add-sqr-sqrt *-un-lft-identity
17×flip3-- flip--
11×add-cube-cbrt
9×pow1
8×associate-*r* associate-*l*
7×pow1/3
6×associate-*l/ associate-*r/ add-exp-log
5×distribute-lft-out-- difference-of-squares
4×add-cbrt-cube insert-posit16 add-log-exp
2×pow-prod-down pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
21.0ms
(* (cbrt (- (+ d2 d4) (+ d3 d1))) (cbrt (- (+ d2 d4) (+ d3 d1))))
3.0ms
(cbrt (- (+ d2 d4) (+ d3 d1)))
3.0ms
(cbrt (- (+ d2 d4) (+ d3 d1)))
3.0ms
(cbrt (- (+ d2 d4) (+ d3 d1)))

series660.0ms

Calls
4 calls:
Slowest
173.0ms
(cbrt (- (+ d2 d4) (+ d3 d1)))
170.0ms
(cbrt (- (+ d2 d4) (+ d3 d1)))
168.0ms
(cbrt (- (+ d2 d4) (+ d3 d1)))
149.0ms
(* (cbrt (- (+ d2 d4) (+ d3 d1))) (cbrt (- (+ d2 d4) (+ d3 d1))))

simplify21.6s

Calls
153 calls:
Slowest
465.0ms
(* (cbrt (* (- d2 d4) (+ (* d3 d3) (- (* d1 d1) (* d3 d1))))) (cbrt (+ (+ d2 d4) (+ d3 d1))))
360.0ms
(* (cbrt (- (* (+ (pow d2 3) (pow d4 3)) (+ (* d3 d3) (- (* d1 d1) (* d3 d1)))) (* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (+ (pow d3 3) (pow d1 3))))) (cbrt (- (* (- (* d2 d2) (* d4 d4)) (+ (* d3 d3) (- (* d1 d1) (* d3 d1)))) (* (- d2 d4) (+ (pow d3 3) (pow d1 3))))))
353.0ms
(* (cbrt (- (* (- (* d2 d2) (* d4 d4)) (+ (* d3 d3) (- (* d1 d1) (* d3 d1)))) (* (- d2 d4) (+ (pow d3 3) (pow d1 3))))) (cbrt (- (* (+ (pow d2 3) (pow d4 3)) (+ (* d3 d3) (- (* d1 d1) (* d3 d1)))) (* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (+ (pow d3 3) (pow d1 3))))))
284.0ms
(* (cbrt (- (* (- (* d2 d2) (* d4 d4)) (+ (* d3 d3) (- (* d1 d1) (* d3 d1)))) (* (- d2 d4) (+ (pow d3 3) (pow d1 3))))) (cbrt (- (* (+ (pow d2 3) (pow d4 3)) (- d3 d1)) (* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (- (* d3 d3) (* d1 d1))))))
283.0ms
(* (cbrt (- (* (+ (pow d2 3) (pow d4 3)) (+ (* d3 d3) (- (* d1 d1) (* d3 d1)))) (* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (+ (pow d3 3) (pow d1 3))))) (cbrt (- (* (+ (pow d2 3) (pow d4 3)) (- d3 d1)) (* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (- (* d3 d3) (* d1 d1))))))

prune2.0s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0.0b

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

Algorithm
intervals
Results
1.3s11908×body80valid