Details

Time bar (total: 2.1m)

sample53.0ms

Algorithm
intervals
Results
40.0ms385×body80valid

simplify179.0ms

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

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 1 expressions with local error:

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

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
7×associate-*r*
6×associate-*r/
5×add-sqr-sqrt
4×flip3-- frac-add flip-- distribute-lft-out distribute-lft-out--
3×pow1 add-cbrt-cube associate-*l* add-exp-log add-cube-cbrt
1×distribute-rgt-in expm1-log1p-u distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
Calls
1 calls:
Slowest
127.0ms
(* d1 (+ (- d2 d3) (- d4 d1)))

series79.0ms

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

simplify4.7s

Calls
25 calls:
Slowest
483.0ms
(* (sqrt d1) (sqrt (+ (- d2 d3) (- d4 d1))))
397.0ms
(* (* (* d1 d1) d1) (* (* (+ (- d2 d3) (- d4 d1)) (+ (- d2 d3) (- d4 d1))) (+ (- d2 d3) (- d4 d1))))
393.0ms
(+ (log d1) (log (+ (- d2 d3) (- d4 d1))))
391.0ms
(+ (* (- d2 d3) (- d2 d3)) (- (* (- d4 d1) (- d4 d1)) (* (- d2 d3) (- d4 d1))))
387.0ms
(* (sqrt d1) (sqrt (+ (- d2 d3) (- d4 d1))))

prune394.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
12×associate-*l/
11×*-un-lft-identity
10×associate-*l*
7×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
6×flip3-- associate-*r* flip--
5×add-log-exp
4×frac-add
3×expm1-log1p-u insert-posit16 log1p-expm1-u
2×pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
1×+-commutative sum-log fma-def flip3-+ distribute-rgt-out flip-+
Calls
3 calls:
Slowest
36.0ms
(* (- d4 d1) d1)
31.0ms
(* (- d2 d3) d1)
29.0ms
(+ (* (- d2 d3) d1) (* (- d4 d1) d1))

series151.0ms

Calls
3 calls:
Slowest
73.0ms
(+ (* (- d2 d3) d1) (* (- d4 d1) d1))
43.0ms
(* (- d4 d1) d1)
34.0ms
(* (- d2 d3) d1)

simplify5.3s

Calls
44 calls:
Slowest
487.0ms
(+ (* (* (- (pow d2 3) (pow d3 3)) d1) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (* (- (pow d4 3) (pow d1 3)) d1)))
433.0ms
(* (exp (* (- d2 d3) d1)) (exp (* (- d4 d1) d1)))
424.0ms
(* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (+ d4 d1))
395.0ms
(* (- (* d4 d4) (* d1 d1)) d1)
349.0ms
(+ (* (* (- (* d2 d2) (* d3 d3)) d1) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ d2 d3) (* (- (pow d4 3) (pow d1 3)) d1)))

prune845.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite241.0ms

Algorithm
rewrite-expression-head
Rules
203×*-un-lft-identity
102×cbrt-div
93×cbrt-prod
68×flip3-- frac-add flip--
60×distribute-lft-out distribute-lft-out--
36×frac-times
30×swap-sqr
23×add-sqr-sqrt
17×flip3-+ flip-+
15×add-cube-cbrt
11×pow1
10×associate-*r* associate-*l*
9×pow1/3
6×associate-*l/ associate-*r/ add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
184.0ms
(* (cbrt (+ (- d2 d3) (- d4 d1))) (cbrt (+ (- d2 d3) (- d4 d1))))
20.0ms
(cbrt (+ (- d2 d3) (- d4 d1)))
16.0ms
(cbrt (+ (- d2 d3) (- d4 d1)))
16.0ms
(cbrt (+ (- d2 d3) (- d4 d1)))

series1.2s

Calls
4 calls:
Slowest
335.0ms
(cbrt (+ (- d2 d3) (- d4 d1)))
328.0ms
(cbrt (+ (- d2 d3) (- d4 d1)))
286.0ms
(* (cbrt (+ (- d2 d3) (- d4 d1))) (cbrt (+ (- d2 d3) (- d4 d1))))
245.0ms
(cbrt (+ (- d2 d3) (- d4 d1)))

simplify43.4s

Calls
235 calls:
Slowest
672.0ms
(* (+ (- d2 d3) (- d4 d1)) (+ (- d2 d3) (- d4 d1)))
671.0ms
(* (+ (- d2 d3) (- d4 d1)) (+ (- d2 d3) (- d4 d1)))
664.0ms
(cbrt (* (cbrt (+ (- d2 d3) (- d4 d1))) (cbrt (+ (- d2 d3) (- d4 d1)))))
578.0ms
(* (cbrt (- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1)))) (cbrt (+ (* (- (* d2 d2) (* d3 d3)) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ d2 d3) (- (pow d4 3) (pow d1 3))))))
569.0ms
(* (cbrt (+ (* (- (pow d2 3) (pow d3 3)) (+ d4 d1)) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (- (* d4 d4) (* d1 d1))))) (cbrt (+ (* (- (* d2 d2) (* d3 d3)) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ d2 d3) (- (pow d4 3) (pow d1 3))))))

prune2.0s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

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

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
203×flip3-- flip--
132×frac-sub
128×frac-times
78×cbrt-div
64×associate-*l/ associate-*r/
55×*-un-lft-identity
37×prod-diff
33×add-sqr-sqrt
31×add-cube-cbrt
22×distribute-rgt-in distribute-lft-in associate--l+ associate--r+
19×cbrt-prod
12×distribute-lft-out--
6×add-log-exp
5×sub-neg
4×expm1-log1p-u pow1 add-cbrt-cube frac-add add-exp-log insert-posit16 log1p-expm1-u distribute-lft-out
3×pow1/3 difference-of-squares
1×flip3-+ fma-neg diff-log flip-+
Calls
4 calls:
Slowest
30.0ms
(- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1)))
21.0ms
(cbrt (- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1))))
17.0ms
(cbrt (- (- d2 d3) (- d4 d1)))
17.0ms
(cbrt (+ (- d2 d3) (- d4 d1)))

series827.0ms

Calls
4 calls:
Slowest
224.0ms
(cbrt (+ (- d2 d3) (- d4 d1)))
223.0ms
(cbrt (- (- d2 d3) (- d4 d1)))
216.0ms
(cbrt (- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1))))
164.0ms
(- (* (- d2 d3) (- d2 d3)) (* (- d4 d1) (- d4 d1)))

simplify1.0m

Calls
287 calls:
Slowest
699.0ms
(- (* (* (- (* d2 d2) (* d3 d3)) (- (pow d2 3) (pow d3 3))) (+ d4 d1)) (* (* (+ d2 d3) (+ (* d2 d2) (+ (* d3 d3) (* d2 d3)))) (* (- (* d4 d4) (* d1 d1)) (- d4 d1))))
659.0ms
(cbrt (- (* (* (- (pow d2 3) (pow d3 3)) (- d2 d3)) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (* (- (pow d4 3) (pow d1 3)) (- d4 d1)))))
640.0ms
(cbrt (- (* (* (- (pow d2 3) (pow d3 3)) (- (pow d2 3) (pow d3 3))) (+ d4 d1)) (* (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (+ (* d2 d2) (+ (* d3 d3) (* d2 d3)))) (* (- d4 d1) (- (* d4 d4) (* d1 d1))))))
579.0ms
(- (* (* (- (pow d2 3) (pow d3 3)) (- d2 d3)) (* (+ d4 d1) (+ d4 d1))) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (* (- (* d4 d4) (* d1 d1)) (- (* d4 d4) (* d1 d1)))))
566.0ms
(cbrt (- (* (* (- d2 d3) (- (pow d2 3) (pow d3 3))) (* (+ (* d4 d4) (+ (* d1 d1) (* d4 d1))) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1))))) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (* (- (pow d4 3) (pow d1 3)) (- (pow d4 3) (pow d1 3))))))

prune3.6s

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0b

regimes422.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.2s

Algorithm
intervals
Results
989.0ms11934×body80valid