Details

Time bar (total: 37.5s)

sample77.0ms

Algorithm
intervals
Results
54.0ms397×body80valid

simplify187.0ms

Counts
1 → 1
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

localize27.0ms

Local error

Found 1 expressions with local error:

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

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
8×associate-*r*
7×add-sqr-sqrt
6×associate-*r/
4×flip3-+ frac-sub flip-+ distribute-lft-out distribute-lft-out--
3×distribute-rgt-in pow1 distribute-lft-in add-cbrt-cube associate-*l* add-exp-log add-cube-cbrt
2×sub-neg associate--l+
1×flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16 flip-- add-log-exp difference-of-squares unswap-sqr
Counts
1 → 36
Calls
1 calls:
Slowest
87.0ms
(* d1 (- (+ d2 d4) (+ d3 d1)))

series70.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
69.0ms
(* d1 (- (+ d2 d4) (+ d3 d1)))

simplify6.3s

Counts
45 → 39
Calls
45 calls:
Slowest
425.0ms
(* d1 (- (pow (+ d2 d4) 3) (pow (+ d3 d1) 3)))
417.0ms
(* d1 (- (* (+ (pow d2 3) (pow d4 3)) (+ (* d3 d3) (- (* d1 d1) (* d3 d1)))) (* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (+ (pow d3 3) (pow d1 3)))))
307.0ms
(* d1 (- (* (- (* d2 d2) (* d4 d4)) (+ (* d3 d3) (- (* d1 d1) (* d3 d1)))) (* (- d2 d4) (+ (pow d3 3) (pow d1 3)))))
257.0ms
(* (* (* d1 (- (+ d2 d4) (+ d3 d1))) (* d1 (- (+ d2 d4) (+ d3 d1)))) (* d1 (- (+ d2 d4) (+ d3 d1))))
238.0ms
(* (cbrt d1) (- (+ d2 d4) (+ d3 d1)))

prune764.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize30.0ms

Local error

Found 3 expressions with local error:

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

rewrite196.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
Counts
3 → 48
Calls
3 calls:
Slowest
134.0ms
(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
47.0ms
(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))
14.0ms
(- (* d1 d2) (* d1 d3))

series168.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
68.0ms
(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
54.0ms
(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))
46.0ms
(- (* d1 d2) (* d1 d3))

simplify9.1s

Counts
63 → 57
Calls
63 calls:
Slowest
437.0ms
(exp (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
430.0ms
(- (pow (* d1 d2) 3) (pow (* d1 d3) 3))
409.0ms
(* (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* d1 d2) (* d1 d3)))
359.0ms
(/ (* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1))) (exp (* d1 d1)))
342.0ms
(+ (* (* d1 d2) (* d1 d2)) (+ (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3))))

prune598.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

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

rewrite184.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
18×cbrt-div
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×flip3-+ pow1/3 flip-+
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×frac-times add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 91
Calls
4 calls:
Slowest
124.0ms
(* (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))))
25.0ms
(cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
18.0ms
(cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
16.0ms
(cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))

series632.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
238.0ms
(* (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))))
145.0ms
(cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
127.0ms
(cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
122.0ms
(cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))

simplify16.5s

Counts
127 → 103
Calls
127 calls:
Slowest
592.0ms
(* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
590.0ms
(* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))
319.0ms
(* (* (* (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (* (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))))) (* (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))))
318.0ms
(cbrt (- (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (* (* d4 d1) (* d4 d1))))
287.0ms
(* (cbrt (- (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (* (* d4 d1) (* d4 d1)))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))))

prune854.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes150.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.6s

Algorithm
intervals
Results
1.0s11904×body80valid