Details

Time bar (total: 1.7m)

sample68.0ms

Algorithm
intervals
Results
50.0ms393×body80valid

simplify195.0ms

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

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 1 expressions with local error:

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

rewrite16.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
15.0ms
(* d1 (- (+ d2 d4) (+ d3 d1)))

series40.0ms

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

simplify1.8s

Calls
20 calls:
Slowest
258.0ms
(* (- d2 d4) (+ (* d3 d3) (- (* d1 d1) (* d3 d1))))
130.0ms
(* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (- d3 d1))
127.0ms
(+ (* (+ d2 d4) (+ d2 d4)) (+ (* (+ d3 d1) (+ d3 d1)) (* (+ d2 d4) (+ d3 d1))))
120.0ms
(* d1 (- d4 (+ d3 d1)))
120.0ms
(* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (+ (* d3 d3) (- (* d1 d1) (* d3 d1))))

prune292.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 3 expressions with local error:

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

rewrite96.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
72.0ms
(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
19.0ms
(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))
4.0ms
(- (* d1 d2) (* d1 d3))

series103.0ms

Calls
3 calls:
Slowest
40.0ms
(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))
36.0ms
(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
28.0ms
(- (* d1 d2) (* d1 d3))

simplify2.1s

Calls
23 calls:
Slowest
280.0ms
(/ (* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1))) (exp (* d1 d1)))
266.0ms
(* (exp (- (* d1 d2) (* d1 d3))) (exp (* d4 d1)))
191.0ms
(- (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) d1)
187.0ms
(+ (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) d1)
172.0ms
(/ (exp (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (exp (* d1 d1)))

prune627.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

34.2b
(/ (+ (pow (- (* d1 d2) (* d1 d3)) 3) (pow (* d4 d1) 3)) (+ (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1)))))
2.9b
(+ (pow (- (* d1 d2) (* d1 d3)) 3) (pow (* d4 d1) 3))
2.5b
(- (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1)))
1.6b
(* (- (* d1 d2) (* d1 d3)) (* d4 d1))

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity
22×flip3-- flip--
18×associate-/r/
16×frac-add
15×add-sqr-sqrt times-frac add-cube-cbrt
8×frac-times add-cbrt-cube add-exp-log add-log-exp
6×pow1 associate-*l/
5×sum-cubes distribute-lft-out associate-/l*
4×associate-*l* associate-*r/ insert-posit16
3×associate-/r* flip3-+ flip-+
2×associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg distribute-rgt-out-- diff-log div-exp associate-*r* pow-prod-down prod-exp *-commutative cbrt-unprod div-inv distribute-lft-out--
Calls
4 calls:
Slowest
110.0ms
(/ (+ (pow (- (* d1 d2) (* d1 d3)) 3) (pow (* d4 d1) 3)) (+ (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1)))))
34.0ms
(+ (pow (- (* d1 d2) (* d1 d3)) 3) (pow (* d4 d1) 3))
7.0ms
(* (- (* d1 d2) (* d1 d3)) (* d4 d1))
7.0ms
(- (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1)))

series718.0ms

Calls
4 calls:
Slowest
324.0ms
(+ (pow (- (* d1 d2) (* d1 d3)) 3) (pow (* d4 d1) 3))
291.0ms
(/ (+ (pow (- (* d1 d2) (* d1 d3)) 3) (pow (* d4 d1) 3)) (+ (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1)))))
59.0ms
(- (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1)))
44.0ms
(* (- (* d1 d2) (* d1 d3)) (* d4 d1))

simplify21.0s

Calls
84 calls:
Slowest
959.0ms
(* (* (+ (* d1 d2) (* d1 d3)) (+ (* d1 d2) (* d1 d3))) (+ (* (* (* d4 d1) (* d4 d1)) (* (* d4 d1) (* d4 d1))) (+ (* (* (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1))))))
922.0ms
(/ (* (* (+ (pow (- (* d1 d2) (* d1 d3)) 3) (pow (* d4 d1) 3)) (+ (pow (- (* d1 d2) (* d1 d3)) 3) (pow (* d4 d1) 3))) (+ (pow (- (* d1 d2) (* d1 d3)) 3) (pow (* d4 d1) 3))) (* (* (+ (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (+ (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1))))) (+ (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1))))))
844.0ms
(* (+ (* (* d1 d2) (* d1 d2)) (+ (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))) (+ (* (* (* d4 d1) (* d4 d1)) (* (* d4 d1) (* d4 d1))) (+ (* (* (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1))))))
792.0ms
(* (+ (* (* d1 d2) (* d1 d2)) (+ (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))) (+ (* (* (* d4 d1) (* d4 d1)) (* (* d4 d1) (* d4 d1))) (+ (* (* (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1))))))
758.0ms
(* (* (+ (* (* d1 d2) (* d1 d2)) (+ (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))) (+ (* (* d1 d2) (* d1 d2)) (+ (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3))))) (+ (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1))))

prune2.0s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

26.4b
(/ (* d1 (- (* (+ d2 d4) (+ d2 d4)) (* (+ d3 d1) (+ d3 d1)))) (+ (+ d2 d4) (+ d3 d1)))
11.6b
(* d1 (- (* (+ d2 d4) (+ d2 d4)) (* (+ d3 d1) (+ d3 d1))))
7.1b
(- (* (+ d2 d4) (+ d2 d4)) (* (+ d3 d1) (+ d3 d1)))
0.0b
(* (+ d3 d1) (+ d3 d1))

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
299×flip3-+ flip-+
230×associate-*r/
196×frac-times
192×frac-sub
98×associate-*l/
66×associate-/l/
13×*-un-lft-identity
9×distribute-rgt-in add-sqr-sqrt pow1 distribute-lft-in add-cube-cbrt
8×add-cbrt-cube add-exp-log
7×associate-*r*
6×associate--l+ associate-/r/ add-log-exp
4×associate-/r* times-frac frac-add insert-posit16
3×sub-neg flip3-- associate-*l* flip--
2×*-commutative distribute-lft-out associate--r+ difference-of-squares
1×pow2 cbrt-undiv clear-num frac-2neg pow-plus diff-log div-exp pow-prod-down prod-exp pow-prod-up cbrt-unprod div-inv associate-/l*
Calls
4 calls:
Slowest
39.0ms
(/ (* d1 (- (* (+ d2 d4) (+ d2 d4)) (* (+ d3 d1) (+ d3 d1)))) (+ (+ d2 d4) (+ d3 d1)))
25.0ms
(* d1 (- (* (+ d2 d4) (+ d2 d4)) (* (+ d3 d1) (+ d3 d1))))
24.0ms
(- (* (+ d2 d4) (+ d2 d4)) (* (+ d3 d1) (+ d3 d1)))
9.0ms
(* (+ d3 d1) (+ d3 d1))

series403.0ms

Calls
4 calls:
Slowest
149.0ms
(* d1 (- (* (+ d2 d4) (+ d2 d4)) (* (+ d3 d1) (+ d3 d1))))
138.0ms
(- (* (+ d2 d4) (+ d2 d4)) (* (+ d3 d1) (+ d3 d1)))
108.0ms
(/ (* d1 (- (* (+ d2 d4) (+ d2 d4)) (* (+ d3 d1) (+ d3 d1)))) (+ (+ d2 d4) (+ d3 d1)))
9.0ms
(* (+ d3 d1) (+ d3 d1))

simplify1.1m

Calls
336 calls:
Slowest
872.0ms
(* d1 (- (* (* (+ (pow d2 3) (pow d4 3)) (+ (pow d2 3) (pow d4 3))) (+ (* d3 d3) (- (* d1 d1) (* d3 d1)))) (* (* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (+ (* d2 d2) (- (* d4 d4) (* d2 d4)))) (* (+ (pow d3 3) (pow d1 3)) (+ d3 d1)))))
867.0ms
(/ (* (* (* d1 (- (* (+ d2 d4) (+ d2 d4)) (* (+ d3 d1) (+ d3 d1)))) (* d1 (- (* (+ d2 d4) (+ d2 d4)) (* (+ d3 d1) (+ d3 d1))))) (* d1 (- (* (+ d2 d4) (+ d2 d4)) (* (+ d3 d1) (+ d3 d1))))) (* (* (+ (+ d2 d4) (+ d3 d1)) (+ (+ d2 d4) (+ d3 d1))) (+ (+ d2 d4) (+ d3 d1))))
703.0ms
(* d1 (- (* (* (+ (pow d2 3) (pow d4 3)) (- (* d2 d2) (* d4 d4))) (* (+ (* d3 d3) (- (* d1 d1) (* d3 d1))) (+ (* d3 d3) (- (* d1 d1) (* d3 d1))))) (* (* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (- d2 d4)) (* (+ (pow d3 3) (pow d1 3)) (+ (pow d3 3) (pow d1 3))))))
629.0ms
(* d1 (- (* (* (+ (pow d2 3) (pow d4 3)) (+ (pow d2 3) (pow d4 3))) (+ (* d3 d3) (- (* d1 d1) (* d3 d1)))) (* (* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (+ (* d2 d2) (- (* d4 d4) (* d2 d4)))) (* (+ d3 d1) (+ (pow d3 3) (pow d1 3))))))
608.0ms
(* d1 (- (* (* (+ (pow d2 3) (pow d4 3)) (+ (pow d2 3) (pow d4 3))) (* (+ (* d3 d3) (- (* d1 d1) (* d3 d1))) (- d3 d1))) (* (* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (+ (* d2 d2) (- (* d4 d4) (* d2 d4)))) (* (+ (pow d3 3) (pow d1 3)) (- (* d3 d3) (* d1 d1))))))

prune3.4s

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0.0b

regimes195.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
958.0ms12092×body80valid