Details

Time bar (total: 54.8s)

sample215.0ms

Algorithm
intervals
Results
173.0ms593×body80valid

simplify340.0ms

Calls
1 calls:
Slowest
340.0ms
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.6b

localize57.0ms

Local error

Found 4 expressions with local error:

5.4b
(* (- (* z c) (* i a)) b)
4.5b
(* (- (* z y) (* t a)) x)
4.1b
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
0.5b
(- (* z c) (* i a))

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
8×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
6×associate-*r* associate-*l* add-log-exp
4×expm1-log1p-u associate-*l/ insert-posit16 log1p-expm1-u
3×flip3-- flip--
2×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×sub-neg fma-neg diff-log prod-diff fma-udef
Calls
4 calls:
Slowest
53.0ms
(* (- (* z y) (* t a)) x)
45.0ms
(* (- (* z c) (* i a)) b)
16.0ms
(- (* z c) (* i a))
0.0ms
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))

series1.3s

Calls
4 calls:
Slowest
978.0ms
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
131.0ms
(* (- (* z c) (* i a)) b)
87.0ms
(* (- (* z y) (* t a)) x)
58.0ms
(- (* z c) (* i a))

simplify3.7s

Calls
37 calls:
Slowest
579.0ms
(* (* (* (- (* z y) (* t a)) (- (* z y) (* t a))) (- (* z y) (* t a))) (* (* x x) x))
533.0ms
(* (* (* (- (* z c) (* i a)) (- (* z c) (* i a))) (- (* z c) (* i a))) (* (* b b) b))
285.0ms
(- (* a (* i b)) (+ (* z (* b c)) (* a (* x t))))
242.0ms
(* (- (* (* z c) (* z c)) (* (* i a) (* i a))) b)
234.0ms
(- (* a (* i b)) (+ (* z (* b c)) (* a (* x t))))

prune1.9s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 7.0b

localize66.0ms

Local error

Found 4 expressions with local error:

4.5b
(* (- (* z y) (* t a)) x)
4.5b
(* (- (* z c) (* i a)) (* (cbrt b) (cbrt b)))
4.1b
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))))
1.1b
(* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))

rewrite207.0ms

Algorithm
rewrite-expression-head
Rules
20×pow1 add-exp-log
13×add-cbrt-cube
12×add-sqr-sqrt
10×associate-*r* pow-prod-down prod-exp cbrt-unprod
9×*-un-lft-identity add-cube-cbrt
8×associate-*l/
7×associate-*l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-prod flip3-- *-commutative flip--
2×unswap-sqr
1×fma-udef
Calls
4 calls:
Slowest
125.0ms
(* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))
47.0ms
(* (- (* z c) (* i a)) (* (cbrt b) (cbrt b)))
33.0ms
(* (- (* z y) (* t a)) x)
0.0ms
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))))

series1.7s

Calls
4 calls:
Slowest
1.1s
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))))
328.0ms
(* (- (* z c) (* i a)) (* (cbrt b) (cbrt b)))
184.0ms
(* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))
100.0ms
(* (- (* z y) (* t a)) x)

simplify7.4s

Calls
54 calls:
Slowest
615.0ms
(* (* (* (* (- (* z c) (* i a)) (- (* z c) (* i a))) (- (* z c) (* i a))) (* b b)) b)
559.0ms
(* (* (* (- (* z y) (* t a)) (- (* z y) (* t a))) (- (* z y) (* t a))) (* (* x x) x))
487.0ms
(* (* (* (- (* z c) (* i a)) (- (* z c) (* i a))) (- (* z c) (* i a))) (* b b))
393.0ms
(* (* (- (* (* z c) (* z c)) (* (* i a) (* i a))) (* (cbrt b) (cbrt b))) (cbrt b))
393.0ms
(* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))

prune2.5s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 7.0b

localize112.0ms

Local error

Found 4 expressions with local error:

5.4b
(* (- (* z c) (* i a)) b)
5.3b
(cbrt (- (* z y) (* t a)))
5.3b
(cbrt (- (* z y) (* t a)))
5.3b
(cbrt (- (* z y) (* t a)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
9×cbrt-prod *-un-lft-identity add-cube-cbrt
6×pow1 cbrt-div add-cbrt-cube add-exp-log
4×expm1-log1p-u flip3-- insert-posit16 log1p-expm1-u flip-- add-log-exp
3×pow1/3 associate-*r* associate-*l*
2×associate-*l/
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Calls
4 calls:
Slowest
24.0ms
(* (- (* z c) (* i a)) b)
11.0ms
(cbrt (- (* z y) (* t a)))
5.0ms
(cbrt (- (* z y) (* t a)))
5.0ms
(cbrt (- (* z y) (* t a)))

series654.0ms

Calls
4 calls:
Slowest
188.0ms
(cbrt (- (* z y) (* t a)))
173.0ms
(cbrt (- (* z y) (* t a)))
164.0ms
(cbrt (- (* z y) (* t a)))
129.0ms
(* (- (* z c) (* i a)) b)

simplify6.6s

Calls
38 calls:
Slowest
808.0ms
(exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y)))))
586.0ms
(* (* (* (- (* z c) (* i a)) (- (* z c) (* i a))) (- (* z c) (* i a))) (* (* b b) b))
529.0ms
(cbrt (- (pow (* z y) 3) (pow (* t a) 3)))
410.0ms
(cbrt (- (pow (* z y) 3) (pow (* t a) 3)))
404.0ms
(cbrt (- (pow (* z y) 3) (pow (* t a) 3)))

prune2.1s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 7.0b

localize81.0ms

Local error

Found 4 expressions with local error:

4.5b
(* (- (* z y) (* t a)) x)
4.5b
(* (- (* z c) (* i a)) (* (cbrt b) (cbrt b)))
4.1b
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (cbrt (cbrt b)))))
1.0b
(* (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (cbrt (cbrt b)))

rewrite595.0ms

Algorithm
rewrite-expression-head
Rules
40×pow1 add-exp-log
26×pow-prod-down prod-exp cbrt-unprod
21×add-cbrt-cube
13×add-sqr-sqrt associate-*r*
10×*-un-lft-identity associate-*l/ add-cube-cbrt
9×cbrt-prod
7×associate-*l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×flip3-- *-commutative flip--
2×unswap-sqr
1×fma-udef
Calls
4 calls:
Slowest
478.0ms
(* (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (cbrt (cbrt b)))
61.0ms
(* (- (* z c) (* i a)) (* (cbrt b) (cbrt b)))
54.0ms
(* (- (* z y) (* t a)) x)
0.0ms
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (cbrt (cbrt b)))))

series1.6s

Calls
4 calls:
Slowest
1.1s
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (cbrt (cbrt b)))))
304.0ms
(* (- (* z c) (* i a)) (* (cbrt b) (cbrt b)))
138.0ms
(* (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (cbrt (cbrt b)))
76.0ms
(* (- (* z y) (* t a)) x)

simplify12.6s

Calls
69 calls:
Slowest
544.0ms
(* (* (* (- (* z y) (* t a)) (- (* z y) (* t a))) (- (* z y) (* t a))) (* (* x x) x))
460.0ms
(* (* (* (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b))))) (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b))))) (cbrt b))
438.0ms
(* (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (cbrt (cbrt b)))
433.0ms
(* (* (* (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b)))) (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b)))) (* (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (* (cbrt (cbrt b)) (cbrt (cbrt b))))) (cbrt b))
430.0ms
(* (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (cbrt (cbrt b)))

prune2.7s

Pruning

15 alts after pruning (13 fresh and 2 done)

Merged error: 7.0b

regimes2.0s

Accuracy

0% (4.8b remaining)

Error of 12.2b against oracle of 7.3b and baseline of 12.2b

bsearch9.0ms

end0.0ms

sample6.1s

Algorithm
intervals
Results
5.3s18864×body80valid