Details

Time bar (total: 11.0s)

sample84.0ms

Algorithm
intervals
Results
34.0ms630×body80valid

simplify87.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
04714
111013
233513
3105913
4344213
5500113
done500113

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.5b

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* c z) (* i a))
4.0b
(* x (- (* y z) (* t a)))
4.0b
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))
6.2b
(* b (- (* c z) (* i a)))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
8×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
6×distribute-rgt-in distribute-lft-in associate-*r* associate-*l* add-log-exp
5×sub-neg prod-diff
4×expm1-log1p-u associate-*r/ log1p-expm1-u
3×flip3-- flip--
2×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×fma-neg diff-log fma-udef
Counts
4 → 82
Calls
4 calls:
8.0ms
(- (* c z) (* i a))
27.0ms
(* x (- (* y z) (* t a)))
0.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))
25.0ms
(* b (- (* c z) (* i a)))

series766.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(- (* c z) (* i a))
73.0ms
(* x (- (* y z) (* t a)))
582.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))
72.0ms
(* b (- (* c z) (* i a)))

simplify46.0ms

Counts
94 → 94
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0373645
11485568
25001568
done5001568

prune425.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 4.9b

localize23.0ms

Local error

Found 4 expressions with local error:

3.7b
(* x (- (* t a)))
4.0b
(fma (- (* c t) (* i y)) j (- (+ (* x (* y z)) (* x (- (* t a)))) (* b (- (* c z) (* i a)))))
4.9b
(* x (* y z))
6.2b
(* b (- (* c z) (* i a)))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1 add-exp-log add-sqr-sqrt add-cbrt-cube
10×associate-*r*
9×add-cube-cbrt *-un-lft-identity associate-*l*
5×pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×distribute-rgt-in distribute-lft-in *-commutative
2×sub-neg associate-*r/ prod-diff unswap-sqr
1×distribute-lft-neg-in neg-mul-1 flip3-- distribute-rgt-neg-in distribute-rgt-neg-out flip-- fma-udef
Counts
4 → 82
Calls
4 calls:
11.0ms
(* x (- (* t a)))
0.0ms
(fma (- (* c t) (* i y)) j (- (+ (* x (* y z)) (* x (- (* t a)))) (* b (- (* c z) (* i a)))))
16.0ms
(* x (* y z))
28.0ms
(* b (- (* c z) (* i a)))

series696.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* x (- (* t a)))
570.0ms
(fma (- (* c t) (* i y)) j (- (+ (* x (* y z)) (* x (- (* t a)))) (* b (- (* c z) (* i a)))))
25.0ms
(* x (* y z))
72.0ms
(* b (- (* c z) (* i a)))

simplify57.0ms

Counts
94 → 94
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
0378576
11743498
25001495
done5001495

prune406.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 4.4b

localize25.0ms

Local error

Found 4 expressions with local error:

4.0b
(* x (fma y z (- (* a t))))
4.0b
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
6.2b
(* b (- (* c z) (* i a)))
50.5b
(fma (- a) t (* a t))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
8×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
6×associate-*r* associate-*l*
4×distribute-rgt-in expm1-log1p-u distribute-lft-in fma-udef log1p-expm1-u add-log-exp
2×sub-neg associate-*r/ prod-diff pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×flip3-- flip--
Counts
4 → 70
Calls
4 calls:
7.0ms
(* x (fma y z (- (* a t))))
0.0ms
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
28.0ms
(* b (- (* c z) (* i a)))
0.0ms
(fma (- a) t (* a t))

series3.5s

Counts
4 → 12
Calls
4 calls:
85.0ms
(* x (fma y z (- (* a t))))
3.3s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
71.0ms
(* b (- (* c z) (* i a)))
27.0ms
(fma (- a) t (* a t))

simplify46.0ms

Counts
82 → 82
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0315624
11242538
25001538
done5001538

prune407.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 4.4b

localize27.0ms

Local error

Found 4 expressions with local error:

6.2b
(* b (- (* c z) (* i a)))
11.7b
(cbrt (- (* t a)))
11.7b
(cbrt (- (* t a)))
11.7b
(cbrt (- (* t a)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-prod
11×add-sqr-sqrt
9×add-cube-cbrt *-un-lft-identity
6×pow1 add-exp-log add-cbrt-cube
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×distribute-lft-neg-in distribute-rgt-in neg-mul-1 distribute-rgt-neg-in distribute-lft-in pow1/3 associate-*r* associate-*l*
2×sub-neg associate-*r/ prod-diff
1×flip3-- pow-prod-down prod-exp *-commutative flip-- cbrt-unprod unswap-sqr
Counts
4 → 76
Calls
4 calls:
28.0ms
(* b (- (* c z) (* i a)))
2.0ms
(cbrt (- (* t a)))
2.0ms
(cbrt (- (* t a)))
2.0ms
(cbrt (- (* t a)))

series419.0ms

Counts
4 → 12
Calls
4 calls:
79.0ms
(* b (- (* c z) (* i a)))
114.0ms
(cbrt (- (* t a)))
111.0ms
(cbrt (- (* t a)))
115.0ms
(cbrt (- (* t a)))

simplify86.0ms

Counts
88 → 88
Iterations

Useful iterations: 3 (80.0ms)

IterNodesCost
0252502
1814460
23014436
35001433
done5001433

prune450.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 4.4b

regimes668.0ms

Accuracy

17.4% (6.7b remaining)

Error of 11.1b against oracle of 4.4b and baseline of 12.5b

bsearch208.0ms

Steps
ItersRangePoint
8
1.4123862412601977e+59
1.2422352178005964e+63
3.642905557903935e+61
7
-7.056381461309724e+40
-1.1737968291850349e+39
-2.4461250474772235e+40

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06750
17350
27450
37450
done7450

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.1s19148×body80valid